Login / Signup
Revisiting reachability in timed automata.
Karin Quaas
Mahsa Shirmohammadi
James Worrell
Published in:
LICS (2017)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
first order logic
transitive closure
theorem proving
state space
temporal logic
real time systems
artificial intelligence
database systems
reinforcement learning
expert systems
relational databases
inference rules