Cas Widdershoven

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Automated Verification

Reactive Systems

Top Venues

Publications

Renjue Li, Tianhang Qin, Cas Widdershoven
ISS-Scenario: Scenario-Based Testing in CARLA. TASE (2024)
Renjue Li, Tianhang Qin, Cas Widdershoven
ISS-Scenario: Scenario-based Testing in CARLA. CoRR (2024)
Xinyu Luo, Christopher Musco, Cas Widdershoven
Dimensionality Reduction for General KDE Mode Finding. ICML (2023)
Xinyu Luo, Christopher Musco, Cas Widdershoven
Dimensionality Reduction for General KDE Mode Finding. CoRR (2023)
Stefan Kiefer, Pavel Semukhin, Cas Widdershoven
Linear-Time Model Checking Branching Processes. CONCUR (2021)
Stefan Kiefer, Pavel Semukhin, Cas Widdershoven
Linear-Time Model Checking Branching Processes. CoRR (2021)
Stefan Kiefer, Cas Widdershoven
Image-Binary Automata. DCFS (2021)
Stefan Kiefer, Cas Widdershoven
Image-Binary Automata. CoRR (2021)
Stefan Kiefer, Cas Widdershoven
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques. CoRR (2019)
Stefan Kiefer, Cas Widdershoven
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques. MFCS (2019)