Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic - Jha, Susmit; Raman, Vasumathi; Sadigh, Dorsa; Seshia, Sanjit A. (Journal of automated reasoning, 2018)
Keywords: Artificial Intelligence; Autonomous vehicles; Autonomy; Computer Science; Constraints; Machine learning; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Mixed integer; Optimal control; Perception; Specifications; Statistical analysis; Symbolic and Algebraic Manipulation; Synthesis; Temporal logic; Uncertainty; Vehicles; Safe Control; Temporal logic; Autonomy