Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 01, 2015
Source ID
10.1109/tac.2014.2381451

Entities

People

  • Calin Belta
  • Ivana Cerna
  • Maria Svorenova

Organizations

  • Boston University
  • Masaryk University
  • National Science Foundation