Abstraction-based synthesis for stochastic systems with omega-regular objectives

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 01, 2022
Source ID
10.1016/j.nahs.2022.101204

Entities

People

  • Jeongmin Huh
  • Maxence Dutreix
  • Samuel Coogan

Organizations

  • Air Force Office of Scientific Research
  • National Science Foundation