@misc{indiciaedb3a90c08e51,
  title = {Multiagent Conflict Resolution for a Specification Network of Discrete-Event Coordinating Agents},
  author = {Manh Tung Pham and Kiam Tian Seow},
  year = {2014},
  url = {https://arxiv.org/abs/1403.4711},
  note = {Source identifier: 1403.4711}
}