Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications

Document Details

Document Type
Pub Defense Publication
Publication Date
Sep 01, 2014
Source ID
10.1109/tac.2014.2309033

Entities

People

  • Ana Medina Ayala
  • Calin Belta
  • Sean B Andersson

Organizations

  • Boston University