When are Stochastic Transition Systems Tameable?

Nathalie Bertrand Patricia Bouyer Thomas Brihaye Pierre Carlier

Published in: CoRR (2017)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
fully observable
control flow
reactive systems
model checker
artificial intelligence
hidden markov models
formal verification