A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata
No abstract available.
Related papers
- Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems CAV 1990
- Learning Assumptions for Compositional Verification of Timed Automata CAV 2023
- Symbolic Optimal Reachability in Weighted Timed Automata CAV 2016
- SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata TACAS 2010
- Monitoring CTMCs by Multi-clock Timed Automata CAV 2018
- Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram APLAS 2001
- Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks CAV 2001
- Model Checking Probabilistic Timed Automata with One or Two Clocks TACAS 2007