- document
-
Fisher, Michael (author), Schlingloff, Bernd-Holger (author), Mascardi, Viviana (author), Winikoff, M.D. (author), Rozier, Kristin Yvonne (author), Yorke-Smith, N. (author)This extended abstract summarises the contributions from the journal<br/>article Fisher et al.abstract 2021
- document
-
Fisher, Michael (author), Mascardi, Viviana (author), Rozier, Kristin Yvonne (author), Schlingloff, Bernd-Holger (author), Winikof, Michael (author), Yorke-Smith, N. (author)A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to touch much of everyday life. However, regulators grapple with how to deal with autonomous systems, for...journal article 2021
- document
-
Liebenwein, Lucas (author), Schwarting, Wilko (author), Vasile, Cristian-Ioan (author), DeCastro, Jonathan (author), Alonso-Mora, J. (author), Karaman, Sertac (author), Rus, Daniela (author)Recent advances in autonomous driving have raised the problem of safety<br/>to the forefront and incentivized research into establishing safety guarantees. In this paper, we propose a safety verification framework as a safety standard for driving controllers with full or shared autonomy based on compositional and contract-based principles. Our...conference paper 2017