Reducing Clocks in Timed Automata while Preserving Bisimulation.

Shibashis Guha Chinmay Narayan S. Arun-Kumar

Published in: CONCUR (2014)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
real time systems
data sets
database systems
hidden markov models
machine learning
e learning
clustering algorithm
case study
special case
temporal logic