Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems.

Jean-Pierre Krimm Laurent Mounier

Published in: TACAS (2000)

Keyphrases

partial order
state space
partially ordered
dynamical systems
total order
markov decision processes
vertex cover
decision makers
partial ordering