Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata
Abstract elided by the publisher.
Related papers
- Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction CAV 2013
- Automata vs Linear-Programming Discounted-Sum Inclusion CAV 2018
- Reduction of Nondeterministic Tree Automata TACAS 2016
- Software model checking using languages of nested trees TOPLAS 2011
- Alternating Automata Modulo First Order Theories CAV 2019
- Verified Model Checking of Timed Automata TACAS 2018
- Model Checking via Reachability Testing for Timed Automata TACAS 1998
- Timed Automata Relaxation for Reachability TACAS 2021