On Combining Partial Order Reduction with Fairness Assumptions.

Lubos Brim Ivana Cerná Pavel Moravec Jirí Simsa

Published in: FMICS/PDMC (2006)

Keyphrases

multi agent
cooperative
partial order reduction
game theory
petri net
model checking
real time
information systems
simplifying assumptions
information retrieval
reinforcement learning
trade off
user interface
restrictive assumptions