Unifying Equivalences for Timed Transition Systems.

Irina B. Virbitskaite Natalya Gribovskaya Eike Best

Published in: Turing-100 (2012)

Keyphrases

transition systems
concurrent systems
petri net
model checking
temporal logic
finite state
practical reasoning
control flow
reactive systems
markov chain
formal specification
formal verification
model checker
learning algorithm
artificial intelligence