Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks
暂无分享,去创建一个
Emilio Frazzoli | Scott Pendleton | Andrea Censi | Tichakorn Wongpiromsarn | Dmitry S. Yershov | Konstantin Slutsky | James Guo Ming Fu | A. Censi | Emilio Frazzoli | S. Pendleton | T. Wongpiromsarn | Konstantin Slutsky | J. Fu
[1] Ufuk Topcu,et al. Synthesis of Reactive Switching Protocols From Temporal Logic Specifications , 2013, IEEE Transactions on Automatic Control.
[2] Emilio Frazzoli,et al. Least-violating control strategy synthesis with safety rules , 2013, HSCC '13.
[3] Ricardo G. Sanfelice,et al. Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications , 2008, 2008 47th IEEE Conference on Decision and Control.
[4] François Michaud,et al. Behavior-Based Systems , 2008, Springer Handbook of Robotics.
[5] Gert-Jan C. Lokhorst,et al. Deontic Logic and Computer‐Supported Computer Ethics , 2002 .
[6] Marija Slavkovik,et al. Cake, Death, and Trolleys: Dilemmas as benchmarks of ethical decision-making , 2018, AIES.
[7] Jan C. Willems,et al. Introduction to mathematical systems theory: a behavioral approach, Texts in Applied Mathematics 26 , 1999 .
[8] Emilio Frazzoli,et al. Incremental sampling-based algorithm for minimum-violation motion planning , 2013, 52nd IEEE Conference on Decision and Control.
[9] Giuseppe Oriolo,et al. Learning soft task priorities for control of redundant robots , 2016, 2016 IEEE International Conference on Robotics and Automation (ICRA).
[10] Eong Jinkyu,et al. What is the Trolley Problem , 2015 .
[11] Emilio Frazzoli,et al. Minimum-violation LTL planning with conflicting specifications , 2013, 2013 American Control Conference.
[12] Sergey Levine,et al. Continuous Inverse Optimal Control with Locally Optimal Examples , 2012, ICML.
[13] Hadas Kress-Gazit,et al. Synthesis for Robots: Guarantees and Feedback for Robot Behavior , 2018, Annu. Rev. Control. Robotics Auton. Syst..
[14] Hadas Kress-Gazit,et al. Temporal Logic Motion Planning for Mobile Robots , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.
[15] Calin Belta,et al. A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.
[16] George J. Pappas. LINEAR TIME LOGIC CONTROL OF LINEAR SYSTEMS , 2004 .
[17] Darwin G. Caldwell,et al. Learning Competing Constraints and Task Priorities from Demonstrations of Bimanual Skills , 2017, ArXiv.
[18] Calin Belta,et al. Negotiating the probabilistic satisfaction of temporal logic motion specifications , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[19] P. Foot. The Problem of Abortion and the Doctrine of the Double Effect , 2020, The Doctrine of Double Effect.
[20] Ronald C. Arkin,et al. Governing lethal behavior: Embedding ethics in a hybrid deliberative/reactive robot architecture part I: Motivation and philosophy , 2008, 2008 3rd ACM/IEEE International Conference on Human-Robot Interaction (HRI).
[21] Kerstin Eder,et al. A fuzzy approach to qualification in design exploration for autonomous robots and systems , 2016, 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).
[22] Calin Belta,et al. Minimum-violation scLTL motion planning for mobility-on-demand , 2017, 2017 IEEE International Conference on Robotics and Automation (ICRA).
[23] Michael Fisher,et al. Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems , 2011, SAFECOMP.
[24] S. Shankar Sastry,et al. Provably safe and robust learning-based model predictive control , 2011, Autom..
[25] Jan C. Willems,et al. Introduction to Mathematical Systems Theory. A Behavioral , 2002 .
[26] Amnon Shashua,et al. On a Formal Model of Safe and Scalable Self-driving Cars , 2017, ArXiv.
[27] J. Christian Gerdes,et al. Incorporating Ethical Considerations Into Automated Vehicle Control , 2017, IEEE Transactions on Intelligent Transportation Systems.