Using online verification to prevent autonomous vehicles from causing accidents

C Pek, S Manzinger, M Koschi, M Althoff - Nature Machine Intelligence, 2020 - nature.com
Ensuring that autonomous vehicles do not cause accidents remains a challenge. We
present a formal verification technique for guaranteeing legal safety in arbitrary urban traffic …
被引用次数：134 相关文章

Using online verification to prevent autonomous vehicles from causing accidents

C Pek, S Manzinger, M Koschi… - Nature Machine …, 2020 - diva-portal.org
Ensuring that autonomous vehicles do not cause accidents remains a challenge. We
present the first formal verification technique to guaranteeing legal safety in arbitrary urban …

[引用][C] Using online verification to prevent autonomous vehicles from causing accidents

C Pek, S Manzinger, M Koschi, M Althoff - Nature Machine Intelligence, 2020 - cir.nii.ac.jp
Using online verification to prevent autonomous vehicles from causing accidents | CiNii
Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 …

Using online verification to prevent autonomous vehicles from causing accidents

C Pek, M Stefanie, K Markus… - Nature Machine …, 2020 - search.proquest.com
Ensuring that autonomous vehicles do not cause accidents remains a challenge. We
present a formal verification technique for guaranteeing legal safety in arbitrary urban traffic …

Using online verification to prevent autonomous vehicles from causing accidents

C Pek, S Manzinger, M Koschi… - Nature Machine …, 2020 - repository.tudelft.nl
Ensuring that autonomous vehicles do not cause accidents remains a challenge. We
present a formal verification technique for guaranteeing legal safety in arbitrary urban traffic …

Using online verification to prevent autonomous vehicles from causing accidents

C Pek, S Manzinger, M Koschi… - Nature Machine …, 2020 - research.tudelft.nl
Ensuring that autonomous vehicles do not cause accidents remains a challenge. We
present a formal verification technique for guaranteeing legal safety in arbitrary urban traffic …

[引用][C] Using online verification to prevent autonomous vehicles from causing accidents

C Pek, S Manzinger, M Koschi… - Nature Machine …, 2020 - mediatum.ub.tum.de
mediaTUM - Medien- und Publikationsserver mediaTUM Universitätsbibliothek Technische
Universität München Logo Benutzer: Gast Login de en mediaTUM Gesamtbestand …