EECI 2020: Behavior Specifications - Revision history

Murray at 07:26, 13 March 2020

2020-03-13T07:26:33Z

← Older revision		Revision as of 07:26, 13 March 2020
Line 5:		Line 5:

	== Lecture Materials ==		== Lecture Materials ==
	* [~~https~~://www.~~dropbox~~.~~com~~/s/~~8i6yj94p10a2cj0~~/L9_rulebooks.pdf~~?dl=0~~ Lecture slides]		* [http://www.cds.caltech.edu/~murray/courses/eeci-sp2020//L9_rulebooks-13Mar2020.pdf Lecture slides]

	== Further Reading ==		== Further Reading ==
	* <p>[https://dl.acm.org/doi/pdf/10.1145/2461328.2461330 Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks] A. Censi, K. Slutsky, T. Wongpiromsarn, D. Yershov, S. Pendleton, J. Fu, E. Frazzoli, ICRA 2019. Detail on the rulebooks framework.</p>		* <p>[https://dl.acm.org/doi/pdf/10.1145/2461328.2461330 Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks] A. Censi, K. Slutsky, T. Wongpiromsarn, D. Yershov, S. Pendleton, J. Fu, E. Frazzoli, ICRA 2019. Detail on the rulebooks framework.</p>
	* <p>[https://530cb0a7-a-62cb3a1a-s-sites.googlegroups.com/site/tichakorn/itsc11.pdf?attachauth=ANoY7crfSz_U77VBEX95uPM-hJ45EDINGM5mtrqbPiY6VBfpf0WFZGdE-aYV0TPGZBje1gC29IdT2OyQkebTr2q8xY6qGM4wkg512xDedo29SulIC1PCzzmzerWn6NSTWCZgau_MSTb7gsrxxHvSGvU3NFoa5-jusHMpPdfrMvwSGmw0RL3-2XmMTXlAT22z1fPiRAOkhLgpJRacM-oOj36yeKVCIT1hcQ%3D%3D&attredirects=0 Synthesis of Provably Correct Controllers for Autonomous Vehicles in Urban Environments] T. Wongpiromsarn, S. Karaman, E. Frazzoli, ITSC 2011. How Urban Challenge specifications can be expressed in LTL.</p>		* <p>[https://530cb0a7-a-62cb3a1a-s-sites.googlegroups.com/site/tichakorn/itsc11.pdf?attachauth=ANoY7crfSz_U77VBEX95uPM-hJ45EDINGM5mtrqbPiY6VBfpf0WFZGdE-aYV0TPGZBje1gC29IdT2OyQkebTr2q8xY6qGM4wkg512xDedo29SulIC1PCzzmzerWn6NSTWCZgau_MSTb7gsrxxHvSGvU3NFoa5-jusHMpPdfrMvwSGmw0RL3-2XmMTXlAT22z1fPiRAOkhLgpJRacM-oOj36yeKVCIT1hcQ%3D%3D&attredirects=0 Synthesis of Provably Correct Controllers for Autonomous Vehicles in Urban Environments] T. Wongpiromsarn, S. Karaman, E. Frazzoli, ITSC 2011. How Urban Challenge specifications can be expressed in LTL.</p>

Nok: /* Further Reading */

2020-03-09T08:16:29Z

Further Reading

← Older revision		Revision as of 08:16, 9 March 2020
Line 9:		Line 9:
	== Further Reading ==		== Further Reading ==
	* <p>[https://dl.acm.org/doi/pdf/10.1145/2461328.2461330 Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks] A. Censi, K. Slutsky, T. Wongpiromsarn, D. Yershov, S. Pendleton, J. Fu, E. Frazzoli, ICRA 2019. Detail on the rulebooks framework.</p>		* <p>[https://dl.acm.org/doi/pdf/10.1145/2461328.2461330 Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks] A. Censi, K. Slutsky, T. Wongpiromsarn, D. Yershov, S. Pendleton, J. Fu, E. Frazzoli, ICRA 2019. Detail on the rulebooks framework.</p>
			* <p>[https://530cb0a7-a-62cb3a1a-s-sites.googlegroups.com/site/tichakorn/itsc11.pdf?attachauth=ANoY7crfSz_U77VBEX95uPM-hJ45EDINGM5mtrqbPiY6VBfpf0WFZGdE-aYV0TPGZBje1gC29IdT2OyQkebTr2q8xY6qGM4wkg512xDedo29SulIC1PCzzmzerWn6NSTWCZgau_MSTb7gsrxxHvSGvU3NFoa5-jusHMpPdfrMvwSGmw0RL3-2XmMTXlAT22z1fPiRAOkhLgpJRacM-oOj36yeKVCIT1hcQ%3D%3D&attredirects=0 Synthesis of Provably Correct Controllers for Autonomous Vehicles in Urban Environments] T. Wongpiromsarn, S. Karaman, E. Frazzoli, ITSC 2011. How Urban Challenge specifications can be expressed in LTL.</p>

Murray: Murray moved page EECI 2020: Behaviour Specifications of Autonomous Vehicles to EECI 2020: Behavior Specifications

2020-02-29T21:36:56Z

Murray moved page EECI 2020: Behaviour Specifications of Autonomous Vehicles to EECI 2020: Behavior Specifications

← Older revision		Revision as of 21:36, 29 February 2020
(No difference)

Murray at 21:36, 29 February 2020

2020-02-29T21:36:36Z

← Older revision		Revision as of 21:36, 29 February 2020
Line 1:		Line 1:
	{{eeci-sp2020 header\|prev=Computer Session: ~~VMP~~\|next=Safety-Critical Systems}}		{{eeci-sp2020 header\|prev=Computer Session: MVP\|next=Safety-Critical Systems}}
	{{righttoc}}		{{righttoc}}

Nok: Created page with "{{eeci-sp2020 header|prev=Computer Session: VMP|next=Safety-Critical Systems}} {{righttoc}} One of the major challenges in the development, validation and deployment of auton..."

2020-02-29T21:35:24Z

Created page with "{{eeci-sp2020 header|prev=Computer Session: VMP|next=Safety-Critical Systems}} {{righttoc}} One of the major challenges in the development, validation and deployment of auton..."

New page

{{eeci-sp2020 header|prev=Computer Session: VMP|next=Safety-Critical Systems}}
{{righttoc}}

One of the major challenges in the development, validation and deployment of autonomous vehicles is to understand what constitutes their correct behavior. The behavior specifications of autonomous vehicles come from numerous sources, including not only the vaguely written traffic laws, but also ethics and local driving culture to ensure their predictability and compatibility with other traffic participants. This lecture provides real-life examples where such specifications are conflicting and present a new formalism called “rulebooks”, developed at Nutonomy, to specify the correct behavior of autonomous vehicles and provide a systematic approach to handle possibly conflicting specifications.

== Lecture Materials ==
* [https://www.dropbox.com/s/8i6yj94p10a2cj0/L9_rulebooks.pdf?dl=0 Lecture slides]

== Further Reading ==
* <p>[https://dl.acm.org/doi/pdf/10.1145/2461328.2461330 Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks] A. Censi, K. Slutsky, T. Wongpiromsarn, D. Yershov, S. Pendleton, J. Fu, E. Frazzoli, ICRA 2019. Detail on the rulebooks framework.</p>