Timed Automata
No abstract available.
Related papers
- Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata TACAS 2014
- Translating a Continuous-Time Temporal Logic into Timed Automata APLAS 2003
- Job-Shop Scheduling Using Timed Automata CAV 2001
- Automated Test Generation from Timed Automata TACAS 2001
- Weak Automata for the Linear Time µ-Calculus VMCAI 2005
- From Time Petri Nets to Timed Automata: An Untimed Approach TACAS 2007
- Alternating RQ Timed Automata CAV 1993
- Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram APLAS 2001