Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study

标题
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
作者
关键词
-
出版物
IEEE Transactions on Human-Machine Systems
Volume 46, Issue 2, Pages 186-196
出版商
Institute of Electrical and Electronics Engineers (IEEE)
发表日期
2015-05-14
DOI
10.1109/thms.2015.2425139

向作者/读者发起求助以获取更多资源

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started