(In)finite Trace Equivalence of Probabilistic Transition Systems.

Alexandre Goy Jurriaan Rot

Published in: CMCS (2018)

Keyphrases

transition systems
model checking
concurrent systems
finite state
temporal logic
practical reasoning
control flow
bayesian networks
artificial intelligence
finite number
software development
petri net
utility function
decision theory
reactive systems