Formal Verification and Synthesis for Discrete-Time Stochastic Systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 01, 2015
Source ID
10.1109/tac.2015.2398883

Entities

People

  • Calin Belta
  • Morteza Lahijanian
  • Sean B Andersson

Organizations

  • Air Force Office of Scientific Research
  • National Science Foundation
  • Office of Naval Research