Truly stateless, optimal dynamic partial order reduction.

Michalis Kokologiannakis Iason Marmanis Vladimir Gladstein Viktor Vafeiadis

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

Keyphrases

real time
model checking
partial order reduction
neural network
support vector
digital libraries
worst case
data mining
machine learning
decision trees
mobile robot
closed form
optimal control
asymptotically optimal