Finite state approximation for verification of partially observable stochastic hybrid systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 14, 2015
Source ID
10.1145/2728606.2728632

Entities

People

  • Kendra Lesser
  • Meeko Oishi

Organizations

  • Air Force Office of Scientific Research
  • National Science Foundation
  • University of New Mexico
  • University of Oxford