Composition of Stochastic Transition Systems Based on Spans and Couplings.

Daniel Gburek Christel Baier Sascha Klüppelholz

Published in: ICALP (2016)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
fully observable
practical reasoning
reactive systems
control flow
model checker
web service composition
formal verification
partial observability
social networks
formal specification
planning problems
petri net