Are Timed Automata Updatable?

This publication has 17 references indexed in Scilit:

• Minimization of timed transition systems
  Published by Springer Nature ,2006
• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• A theory of timed automata
  Published by Elsevier ,2002
• MOCHA: Modularity in model checking
  Published by Springer Nature ,1998
• HyTech: A model checker for hybrid systems
  Published by Springer Nature ,1997
• The expressive power of clocks
  Published by Springer Nature ,1995
• The Observational Power of Clocks
  Published by Springer Nature ,1994
• Specifying timed state sequences in powerful decidable logics and timed automata
  Published by Springer Nature ,1994
• Parametric real-time reasoning
  Published by Association for Computing Machinery (ACM) ,1993
• Solving systems of linear diophantine equations: An algebraic approach
  Published by Springer Nature ,1991