Login / Signup

Classes of Timed Automata and the Undecidability of Universality.

Arnaldo V. MouraGuilherme A. Pinto
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • databases
  • theorem prover
  • real time
  • data mining
  • description logics
  • cellular automata
  • first order logic
  • temporal logic
  • real world
  • multi agent