Login / Signup
The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata.
Antoine Mottet
Karin 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