History-deterministic Timed Automata.

Sougata Bose Thomas A. Henzinger Karoliina Lehtinen Sven Schewe Patrick Totzke

Published in: CoRR (2023)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
real time systems
first order logic
temporal logic
machine learning
learning algorithm
computer vision
multiscale
black box
relaxation algorithm