Formal verification of ethical choices in autonomous systems

标题
Formal verification of ethical choices in autonomous systems
作者
关键词
Autonomous systems, Ethics, BDI programs, Formal verification
出版物
ROBOTICS AND AUTONOMOUS SYSTEMS
Volume 77, Issue -, Pages 1-14
出版商
Elsevier BV
发表日期
2015-12-17
DOI
10.1016/j.robot.2015.11.012

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

Reprint

联系作者

Find Funding. Review Successful Grants.

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

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