Revisiting Reachability in Timed Automata.

Karin Quaas Mahsa Shirmohammadi James Worrell

Published in: CoRR (2017)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
transitive closure
state space
theorem proving
real time systems
real time
temporal logic
knowledge representation
data model
low cost
domain specific
domain knowledge
data analysis