Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Semeráth, Oszkár"'
To ensure their safe use, autonomous vehicles (AVs) must meet rigorous certification criteria that involve executing maneuvers safely within (arbitrary) scenarios where other actors perform their intended maneuvers. For that purpose, existing scenari
Externí odkaz:
http://arxiv.org/abs/2410.07079
Graph convolutional neural networks (GCNs) are powerful tools for learning graph-based knowledge representations from training data. However, they are vulnerable to small perturbations in the input graph, which makes them susceptible to input faults
Externí odkaz:
http://arxiv.org/abs/2405.08645
Publikováno v:
IEEE.Transactions.on.Software.Engineering 50 (2024) 48-68
Existing safety assurance approaches for autonomous vehicles (AVs) perform system-level safety evaluation by placing the AV-under-test in challenging traffic scenarios captured by abstract scenario specifications and investigated in realistic traffic
Externí odkaz:
http://arxiv.org/abs/2307.07826
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Automated generation of consistent models using qualitative abstractions and exploration strategies.
Autor:
Babikian, Aren A.1 (AUTHOR) aren.babikian@mail.mcgill.ca, Semeráth, Oszkár2 (AUTHOR), Li, Anqi3 (AUTHOR), Marussy, Kristóf2 (AUTHOR), Varró, Dániel1,2 (AUTHOR)
Publikováno v:
Software & Systems Modeling. Oct2022, Vol. 21 Issue 5, p1763-1787. 25p.
Autor:
Semeráth, Oszkár1 (AUTHOR) semerath@mit.bme.hu, Babikian, Aren A.2 (AUTHOR), Chen, Boqi2 (AUTHOR), Li, Chuning2 (AUTHOR), Marussy, Kristóf1 (AUTHOR), Szárnyas, Gábor1 (AUTHOR), Varró, Dániel1,2 (AUTHOR)
Publikováno v:
Software & Systems Modeling. Oct2021, Vol. 20 Issue 5, p1713-1734. 22p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Fundamental Approaches to Software Engineering
The automated generation of graph models has become an enabler in several testing scenarios, including the testing of modeling environments used in the design of critical systems, or the synthesis of test contexts for autonomous vehicles. Those appro
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Semeráth, Oszkár1 semerath@mit.bme.hu, Barta, Ágnes1, Horváth, Ákos1, Szatmári, Zoltán1, Varró, Dániel1 varro@mit.bme.hu
Publikováno v:
Software & Systems Modeling. May2017, Vol. 16 Issue 2, p357-392. 36p.