Safety and precision of spatial context models for autonomous systems

DOI10.1016/j.entcs.2013.12.006zbMath1334.68228OpenAlexW1985873142WikidataQ113317930 ScholiaQ113317930MaRDI QIDQ271722

Tobe Toben, Jan-Hendrik 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)

Cites Work

• Non-interference Properties for Data-Type Reduction of Communicating Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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