Automata as Abstractions
Abstract elided by the publisher.
Related papers
- Abstracting Cryptographic Protocols with Tree Automata SAS 1999
- Abstraction Refinement for Emptiness Checking of Alternating Data Automata TACAS 2018
- Automata Learning with Automated Alphabet Abstraction Refinement VMCAI 2011
- Hybrid Acceleration Using Real Vector Automata (Extended Abstract) CAV 2003
- An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) SAS 1995
- Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata APLAS 2001
- Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs APLAS 2015
- An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract) CAV 1994