When are stochastic transition systems tameable?

Nathalie Bertrand Patricia Bouyer Thomas Brihaye Pierre Carlier

Published in: J. Log. Algebraic Methods Program. (2018)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
fully observable
control flow
practical reasoning
model checker
real time systems
state space
formal verification
partial observability
reactive systems
business process
sufficient conditions
software engineering