Add to ORKGRules or specifications for autonomous vehicles are currently formulated on a case-by-case basis, and put together in a rather ad-hoc fashion. As a step towards eliminating this practice, we propose a systematic procedure for generating a set of supervisory specifications for self-driving cars that are 1) associated with a distributed assume-guarantee structure and 2) characterizable by the notion of consistency and completeness. Besides helping autonomous vehicles make better decisions on the road, the assume-guarantee contract structure also helps address the notion of blame when undesirable events occur. We give several game-theoretic examples to demonstrate applicability of our framework
As more and more autonomous vehicles (AVs) are being deployed on public roads, designing socially co...
This paper details the design of an autonomous vehicle CAD toolchain, which captures formal descript...
We present an approach to model scenarios of autonomous cars in HOL-CSP [10] and prove particular sa...
Rules or specifications for autonomous vehicles are currently formulated on a case-by-case basis, an...
Ensuring the safety of autonomous vehicles is paramount for their successful deployment. Howe...
The ability to guarantee safety and progress for all vehicles is vital to the success of the autonom...
Autonomous vehicles (AVs) are inevitably entering our lives with potential benefits for improved tra...
Recent advances in autonomous driving have raised the problem of safety to the forefront and incent...
Recent advances in autonomous driving have raised the problem of safetyto the forefront and incentiv...
In recent years, there has been enormous public interest in autonomous vehicles (AV), with more than...
This paper proposes a novel decision-making framework for autonomous vehicles (AVs), called predicto...
Modern engineering systems include many components of different types and functions. Verifying that ...
Safely developing self-driving vehicles presents technical challenges. Among the key technical chall...
Autonomous driving has been the subject of increased interest in recent years both in industry and i...
Autonomous Vehicles (AVs) i.e., self-driving cars, operate in a safety critical domain, since errors...
As more and more autonomous vehicles (AVs) are being deployed on public roads, designing socially co...
This paper details the design of an autonomous vehicle CAD toolchain, which captures formal descript...
We present an approach to model scenarios of autonomous cars in HOL-CSP [10] and prove particular sa...
Rules or specifications for autonomous vehicles are currently formulated on a case-by-case basis, an...
Ensuring the safety of autonomous vehicles is paramount for their successful deployment. Howe...
The ability to guarantee safety and progress for all vehicles is vital to the success of the autonom...
Autonomous vehicles (AVs) are inevitably entering our lives with potential benefits for improved tra...
Recent advances in autonomous driving have raised the problem of safety to the forefront and incent...
Recent advances in autonomous driving have raised the problem of safetyto the forefront and incentiv...
In recent years, there has been enormous public interest in autonomous vehicles (AV), with more than...
This paper proposes a novel decision-making framework for autonomous vehicles (AVs), called predicto...
Modern engineering systems include many components of different types and functions. Verifying that ...
Safely developing self-driving vehicles presents technical challenges. Among the key technical chall...
Autonomous driving has been the subject of increased interest in recent years both in industry and i...
Autonomous Vehicles (AVs) i.e., self-driving cars, operate in a safety critical domain, since errors...
As more and more autonomous vehicles (AVs) are being deployed on public roads, designing socially co...
This paper details the design of an autonomous vehicle CAD toolchain, which captures formal descript...
We present an approach to model scenarios of autonomous cars in HOL-CSP [10] and prove particular sa...