20 citations · 39 across the 6 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023★ 13 cited
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
Aren A. Babikian, Oszkár Semeráth, Dániel Varró
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…
cs.SE2021
Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation
Márton Búr, Kristóf Marussy, Brett H. Meyer +1
Runtime monitoring plays a key role in the assurance of modern intelligent cyber-physical systems, which are frequently data-intensive and safety-critical. While graph queries can…