Recoverable Mutual Exclusion with Abortability.

Prasad Jayanti Anup Joshi

Published in: CoRR (2020)

Keyphrases

mutual exclusion
long distance
temporal planning
data analysis
orders of magnitude
machine learning
reinforcement learning
search algorithm
np hard
dynamic programming
linear programming
web service composition