The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation.

Pedro R. D'Argenio Biniam Gebremichael

Published in: CONCUR (2005)

Keyphrases

timed automata
model checking
multiresolution
reachability analysis
theorem prover
response time
first order logic
theorem proving
real time systems
temporal logic
socio technical
databases
neural network
reinforcement learning
search algorithm