Value-centric dynamic partial order reduction.

Krishnendu Chatterjee Andreas Pavlogiannis Viktor Toman

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

partial order reduction
model checking
reinforcement learning
dynamic environments
petri net
user centric
dynamically changing
data sets
information retrieval
genetic algorithm
computational complexity
artificial neural networks