Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems

Document Details

Document Type: Pub Defense Publication
Publication Date: Jan 01, 2017
Source ID: 10.1109/tac.2016.2535128

Entities

People

Kendra Lesser
Meeko Oishi

Organizations

Air Force Office of Scientific Research
National Science Foundation