Verification and Synthesis of Fault-Tolerant Autonomous Systems
Abstract
In the autonomous systems context, the existing complexities are compounded by the need to take into account sensor models and knowledge of the physical environment in which the system needs to operate. There is a long-recognized need for formal verification in the development of systems in this area. The goal of this project is to provide tools for such formal verification, using epistemic logic, and specifically, knowledge-based programs, a high-level abstraction for the design of distributed protocols.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Nov 16, 2022
- Source ID
- FA23862114029
Entities
People
- Joseph Halpern
Organizations
- Air Force Office of Scientific Research
- Cornell University
- United States Air Force