Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Guided Controller Synthesis for Climate Controller Using Uppaal TigaLecture Notes in Computer Science, 2007
- Timed Control with Observation Based and Stuttering Invariant StrategiesLecture Notes in Computer Science, 2007
- Optimal scheduling using priced timed automataACM SIGMETRICS Performance Evaluation Review, 2005
- Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi AutomataSIAM Journal on Computing, 2005
- Timed Automata: Semantics, Algorithms and ToolsLecture Notes in Computer Science, 2004
- Kronos: A model-checking tool for real-time systemsLecture Notes in Computer Science, 1998
- Efficient scaling-invariant checking of timed bisimulationPublished by Springer Science and Business Media LLC ,1997
- Branching time and abstraction in bisimulation semanticsJournal of the ACM, 1996
- A theory of timed automataTheoretical Computer Science, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993