"Multiagent Disjunctive Temporal Networks."

Nikhil Bhargava, Brian C. Williams (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics