Cas Widdershoven

According to our database, Cas Widdershoven authored at least 6 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ISS-Scenario: Scenario-Based Testing in CARLA.

Renjue Li, Tianhang Qin, Cas Widdershoven

Proceedings of the Theoretical Aspects of Software Engineering, 2024

2023

Dimensionality Reduction for General KDE Mode Finding.

Xinyu Luo, Christopher Musco, Cas Widdershoven

Proceedings of the International Conference on Machine Learning, 2023

2022

Unambiguous and finitely ambiguous automata.

Cas Widdershoven

PhD thesis, 2022

2021

Image-Binary Automata.

Stefan Kiefer, Cas Widdershoven

Proceedings of the Descriptional Complexity of Formal Systems, 2021

Linear-Time Model Checking Branching Processes.

Stefan Kiefer, Pavel Semukhin, Cas Widdershoven

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2019

Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques.

Stefan Kiefer, Cas Widdershoven

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019