29 citations · 36 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023★ 2 cited
Tree-Based Scenario Classification: A Formal Framework for Coverage Analysis on Test Drives of Autonomous Vehicles
Till Schallau, Stefan Naujokat, Fiona Kullmann +1
Scenario-based testing is envisioned as a key approach for the safety assurance of autonomous vehicles. In scenario-based testing, relevant (driving) scenarios are the basis of tes…
cs.LG2023★ 1 cited
Unsupervised Automata Learning via Discrete Optimization
Simon Lutz, Daniil Kaminskyi, Florian Wittbold +5
Automata learning is a successful tool for many application domains such as robotics and automatic verification. Typically, automata learning techniques operate in a supervised lea…