High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- May 25, 2021
- Source ID
- 10.23919/acc50511.2021.9483028
Entities
People
- Calin A. Belta
- Christos G. Cassandras
- Wei Xiao
Organizations
- Air Force Office of Scientific Research
- National Science Foundation