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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Journal of automated reasoning Ročník 60; číslo 1; s. 43 - 62
Hlavní autoři:	Jha, Susmit, Raman, Vasumathi, Sadigh, Dorsa, Seshia, Sanjit A.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Dordrecht Springer Netherlands 01.01.2018 Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!