Ulgen: A Runtime Assurance Framework for Programming Safe Cyber–Physical Systems
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Nov 01, 2023
- Source ID
- 10.1109/tcad.2023.3246386
Entities
People
- Ankush Desai
- Beyazit Yalcinkaya
- Hazem Torfah
- Sanjit A. Seshia
Organizations
- Amazon
- Defense Advanced Research Projects Agency
- National Science Foundation
- University of California, Berkeley