Provably-correct coordination of large collections of agents with counting temporal logic constraints

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 18, 2017
Source ID
10.1145/3055004.3055021

Entities

People

  • Necmiye Ozay
  • Petter Nilsson
  • Yunus Emre Sahin

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of Michigan