Similar Items: Inferring Symbolic Automata
- On Interpolation and Symbol Elimination in Theory Extensions
- Decidability for Entailments of Symbolic Heaps with Arrays
- Petri Automata
- From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
- Predicate Abstraction via Symbolic Decision Procedures
- Symbolic and Asynchronous Semantics via Normalized Coalgebras