Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos.

Wim H. Hesselink

Published in: Acta Informatica (2013)

Keyphrases

mutual exclusion
long distance
temporal planning
model checking
preprocessing
multiresolution
planning domains
machine learning
information systems