Safety and precision of spatial context models for autonomous systems

DOI10.1016/J.ENTCS.2013.12.006MaRDI QIDQ271722zbMATH OpenOpenAlexWikidataFDO

Authors Tobe Toben, Jan Rakow

Publication date 19 April 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2013.12.006

zbMATH Keywords

autonomous systemssafety requirementsspatial context models

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40)

Recommendations

• Safe autonomy under perception uncertainty using chance-constrained temporal logic
• Safe navigation in adversarial environments
• scientific article; zbMATH DE number 697202
• Model Checking for Safe Navigation Among Humans
• Interdisciplinary Modeling of Autonomous Systems Deployed in Uncertain Dynamic Environments

Cites work

• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 976350 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 3271180 (Why is no real title available?)
• scientific article; zbMATH DE number 2238781 (Why is no real title available?)
• Non-interference Properties for Data-Type Reduction of Communicating Systems

Cited in

(2)

• Safe navigation in adversarial environments
• The diagnostics of safety zones in motion planning

This page was built for publication: Safety and precision of spatial context models for autonomous systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q271722)