Search
Now showing items 1-1 of 1
Toward Reliable Autonomous Robotic Assistants Through Formal Verification : A Case Study
(2016-04-02)
It is essential for robots working in close proximity to people to be both safe and trustworthy. We present a case study on formal verification for a high-level planner/scheduler for the Care-O-bot, an autonomous personal ...