Login / Signup

The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata.

Antoine MottetKarin Quaas
Published in: Theory Comput. Syst. (2021)
Keyphrases
  • timed automata
  • model checking
  • theorem prover
  • reachability analysis
  • first order logic
  • special case
  • cellular automata
  • finite state
  • real time systems
  • real world
  • machine learning
  • temporal logic