Bounded partial-order reduction.

Katherine E. Coons Madan Musuvathi Kathryn S. McKinley

Published in: OOPSLA (2013)

Keyphrases

partial order reduction
model checking
petri net
real time
reinforcement learning
cooperative
artificial intelligence
decision making
knowledge base
database systems
evolutionary algorithm
query language
management system
continuous functions
decreasing function