Fetching the paper…
Reading the bibliography…
The behavior of self-driving cars must be compatible with an enormous set of conflicting and ambiguous objectives, from law, from ethics, from the local culture, and so on.
P. Foot, “The problem of abortion and the doctrine of double effect,” Oxford Review , vol. 5, pp. 5–15, 1967
1967
Earlier work this paper cites.
J. J. Thomson, “The trolley problem,” vol. 94, no. 6, pp. 1395–1415, 1985. [Online]. Available: http://www.jstor.org/stable/796133
1985
Earlier work this paper cites.
J. W. Polderman and J. C. Willems, Introduction to Mathematical Systems Theory: A Behavioral Approach . Berlin, Heidelberg: Springer-Verlag, 1998
1998
Earlier work this paper cites.
R. C. Arkin, Behavior-based Robotics , 1st ed. Cambridge, MA, USA: MIT Press, 1998
1998
Earlier work this paper cites.
P. Tabuada and G. J. Pappas, “Linear time logic control of linear systems,” IEEE Transaction on Automatic Control , vol. 51, no. 12, pp. 1862–1877, 2006
2006
Earlier work this paper cites.
R. C. Arkin, “Governing Lethal Behavior: Embedding Ethics in a Hybrid Deliberative/Reactive Robot Architecture Part I: Motivation And Philosophy,” Proceedings of the 3rd international conference on Human robot interaction - HRI ’08 , p. 121, jan 2008. [Online]. Available: http://portal.acm.org/citation.cfm?doid=1349822.1349839
2008
Earlier work this paper cites.
M. Kloetzer and C. Belta, “A fully automated framework for control of linear systems from temporal logic specifications,” IEEE Transactions on Automatic Control , vol. 53, no. 1, pp. 287–297, 2008
2008
Earlier work this paper cites.
S. Karaman, R. G. Sanfelice, and E. Frazzoli, “Optimal control of mixed logical dynamical systems with linear temporal logic specifications,” Dec. 2008, pp. 2117–2122
2008
Earlier work this paper cites.
M. J. Mataric and F. Michaud, “Behavior-based systems,” in Springer Handbook of Robotics , 2008, pp. 891–909. [Online]. Available: https://doi.org/10.1007/978-3-540-30301-5_39
2008
Earlier work this paper cites.
M. Webster, M. Fisher, N. Cameron, and M. Jump, “Formal methods for the certification of autonomous unmanned aircraft systems,” in Proceedings of the 30th International Conference on Computer Safety, Reliability, and Security , ser. SAFECOMP’11. Berlin, Heidelberg: Springer-Verlag, 2011, pp. 228–242. [Online]. Available: http://dl.acm.org/citation.cfm?id=2041619.2041644
2011
Cited alongside, same era.
S. Levine and V. Koltun, “Continuous inverse optimal control with locally optimal examples,” in ICML ’12: Proceedings of the 29th International Conference on Machine Learning , 2012
2012
Cited alongside, same era.
J. Liu, N. Ozay, U. Topcu, and R. M. Murray, “Synthesis of reactive switching protocols from temporal logic specifications,” IEEE Transactions on Automatic Control , vol. 58, no. 7, pp. 1771–1785, 2013
2013
Cited alongside, same era.
I. Cizelj and C. Belta, “Negotiating the probabilistic satisfaction of temporal logic motion specifications,” in Proc. of IEEE/RSJ International Conference on Intelligent Robots and Systems , 2013
V. Modugno, G. Neumann, E. Rueckert, G. Oriolo, J. Peters, and S. Ivaldi, “Learning soft task priorities for control of redundant robots,” in IEEE International Conference on Robotics and Automation (ICRA 2016) , Stockholm, Sweden, May 2016. [Online]. Available: https://hal.archives-ouvertes.fr/hal-01273409
2016
Later among the works it cites.
S. M. Thornton, S. Pan, S. M. Erlien, and J. C. Gerdes, “Incorporating ethical considerations into automated vehicle control,” IEEE Transactions on Intelligent Transportation Systems , vol. 18, no. 6, pp. 1429–1439, June 2017
2017
Later among the works it cites.
J. Morse, D. Araiza-Illan, K. Eder, J. Lawry, and A. Richards, “A fuzzy approach to qualification in design exploration for autonomous robots and systems,” in 2017 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2017, Naples, Italy, July 9-12, 2017 , 2017, pp. 1–6
2017
Later among the works it cites.
C. I. Vasile, J. Tumova, S. Karaman, C. Belta, and D. Rus, “Minimum-violation scLTL motion planning for mobility-on-demand,” Proceedings - IEEE International Conference on Robotics and Automation , pp. 1481–1488, 2017
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2013
Cited alongside, same era.
L. I. R. Castro, P. Chaudhari, J. Tumova, S. Karaman, E. Frazzoli, and D. Rus, “Incremental sampling-based algorithm for minimum-violation motion planning,” in 52nd IEEE Conference on Decision and Control , Dec 2013, pp. 3217–3224
2013
Cited alongside, same era.
J. Tumova, G. C. Hall, S. Karaman, E. Frazzoli, and D. Rus, “Least-violating control strategy synthesis with safety rules,” in Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control , ser. HSCC ’13. New York, NY, USA: ACM, 2013, pp. 1–10. [Online]. Available: http://doi.acm.org/10.1145/2461328.2461330
2013
Cited alongside, same era.
2013
Cited alongside, same era.
A. Aswani, H. Gonzalez, S. S. Sastry, and C. Tomlin, “Provably safe and robust learning-based model predictive control,” Automatica , vol. 49, no. 5, pp. 1216–1226, jan 2013. [Online]. Available: http://linkinghub.elsevier.com/retrieve/pii/S0005109813000678 papers3://publication/doi/10.1016/j.automatica.2013.02.003
2013
Cited alongside, same era.
“Moral machine (online),” 2016, http://moralmachine.mit.edu
2016
Cited alongside, same era.
J. Van Den Hoven and G.-J. Lokhorst, “Deontic logic and computer-supported computer ethics,” Metaphilosophy , vol. 33, no. 3, pp. 376–386. [Online]. Available: https://onlinelibrary.wiley.com/doi/abs/10.1111/1467-9973.00233
Cited in the paper.
E. Frazzoli and K. Iagnemma, “US patent US9645577B1: Facilitating vehicle driving and self-driving.”
Cited in the paper.
2017
Later among the works it cites.
2017
Later among the works it cites.
S. Shalev-Shwartz, S. Shammah, and A. Shashua, “On a formal model of safe and scalable self-driving cars,” 08 2017
2017
Later among the works it cites.
E. Pires Bjørgen, S. Øvervatn Madsen, T. Skaar Bjørknes, F. Vonheim Heimsæter, R. Håvik, M. Linderud, P. Longberg, L. Dennis, and M. Slavkovik, “Cake, death, and trolleys: dilemmas as benchmarks of ethical decision-making,” in AAAI/ACM Conference on Artificial Intelligence, Ethics and Society , New Orleans, USA, 2018, forthcoming
2018
Later among the works it cites.
H. Kress-Gazit, M. Lahijanian, and V. Raman, “Synthesis for robots: Guarantees and feedback for robot behavior,” Annual Review of Control, Robotics, and Autonomous Systems , vol. 1, no. 1, pp. 211–236, 2018. [Online]. Available: https://doi.org/10.1146/annurev-control-060117-104838
2018
Later among the works it cites.
G. Fainekos, H. Kress-Gazit, and G. Pappas, “Temporal logic motion planning for mobile robots,” in Proc. of IEEE International Conference on Robotics and Automation , April 2005, pp. 2020–2025
2025
Closest in time.