Minimization of Timed Transition Systems.

Rajeev Alur Costas Courcoubetis Nicolas Halbwachs David L. Dill Howard Wong-Toi

Published in: CONCUR (1992)

Keyphrases

transition systems
concurrent systems
model checking
petri net
temporal logic
finite state
control flow
practical reasoning
markov chain
objective function
reactive systems
model checker
formal specification
case study
process model
search algorithm
learning algorithm