Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic

Autonomous vehicles have found wide-ranging adoption in aerospace, terrestrial as well as marine use. These systems often operate in uncertain environments and in the presence of noisy sensors, and use machine learning and statistical sensor fusion algorithms to form an internal model of the world t...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of automated reasoning Vol. 60; no. 1; pp. 43 - 62
Main Authors:	Jha, Susmit, Raman, Vasumathi, Sadigh, Dorsa, Seshia, Sanjit A.
Format:	Journal Article
Language:	English
Published:	Dordrecht Springer Netherlands 01.01.2018 Springer Nature B.V
Subjects:	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
ISSN:	0168-7433, 1573-0670
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!