Login / Signup
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