Inference of Timed Transition Systems.

Olga Grinchtein Bengt Jonsson Martin Leucker

Published in: INFINITY (2004)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
petri net
finite state
control flow
practical reasoning
bayesian networks
model checker
markov chain
dynamic programming
first order logic
formal specification