Login / Signup
History-Deterministic Timed Automata.
Thomas A. Henzinger
Karoliina Lehtinen
Patrick Totzke
Published in:
CONCUR (2022)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
stochastic methods
black box
relaxation algorithm
historical information
database
web services
knowledge base
real world
neural network
real time