Multirobot Coordination With Counting Temporal Logics

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 01, 2020
Source ID
10.1109/tro.2019.2957669

Entities

People

  • Necmiye Ozay
  • Petter Nilsson
  • Yunus Emre Sahin

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation