6 papers
Modular2Simple: A Tool for Modular Scenario Creation Based on the OpenSCENARIO Format
Nikolai Khriapov, Mohamed Taha Drif, Renjue Li +1
The rapid advancement of autonomous driving systems (ADS) has introduced significant challenges, particularly in the creation of realistic and complex scenarios for testing and val…
ISS-Scenario: Scenario-based Testing in CARLA
Renjue Li, Tianhang Qin, Cas Widdershoven
The rapidly evolving field of autonomous driving systems (ADSs) is full of promise. However, in order to fulfil these promises, ADSs need to be safe in all circumstances. This pape…
Dimensionality Reduction for General KDE Mode Finding
Xinyu Luo, Christopher Musco, Cas Widdershoven
Finding the mode of a high dimensional probability distribution is a fundamental algorithmic problem in statistics and data analysis. There has been particular interest in effi…
Image-Binary Automata
Stefan Kiefer, Cas Widdershoven
We introduce a certain restriction of weighted automata over the rationals, called image-binary automata. We show that such automata accept the regular languages, can be exponentia…
Linear-Time Model Checking Branching Processes
Stefan Kiefer, Pavel Semukhin, Cas Widdershoven
(Multi-type) branching processes are a natural and well-studied model for generating random infinite trees. Branching processes feature both nondeterministic and probabilistic bran…
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
Stefan Kiefer, Cas Widdershoven
We introduce a novel technique to analyse unambiguous Büchi automata quantitatively, and apply this to the model checking problem. It is based on linear-algebra arguments that orig…