Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- May 21, 2019
- Source ID
- 10.1007/s10514-019-09861-4
Entities
People
- Hadas Kress-Gazit
- Salar Moarref
Organizations
- Defense Advanced Research Projects Agency