Transition Systems Reduction: Balancing between Precision and Simplicity.

Sergey A. Shershakov Anna A. Kalenkova Irina A. Lomazova

Published in: ATAED@Petri Nets/ACSD (2016)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
control flow
practical reasoning
artificial intelligence
petri net
markov decision processes
data flow
model checker
fully observable