Login / Signup
Reducing Clocks in Timed Automata while Preserving Bisimulation.
Shibashis Guha
Chinmay Narayan
S. Arun-Kumar
Published in:
CoRR (2014)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
special case
real time
multiscale
image details
neural network
machine learning
knowledge base
evolutionary algorithm
real time systems