Toward the Design of Robotic Software with Verifiable Safety

Cheng, Chih-HongChih-HongChengRickert, MarkusMarkusRickert0000-0001-6264-0888Buckl, ChristianChristianBucklLee, Edward A.Edward A.LeeKnoll, AloisAloisKnoll2024-07-252024-07-252009978-0-7695-3726-9https://fis.uni-bamberg.de/handle/uniba/96723engToward the Design of Robotic Software with Verifiable Safetyconferenceobject10.1109/compsac.2009.89