Cas Widdershoven

1. Efficient Analysis of Unambiguous Automata Using Matrix Semigroup\n Techniques
   2019/06/24 by Stefan Kiefer, Kiefer, Stefan, Cas Widdershoven +1 · 1 citation
   Computer Science · #Formal Methods in Verification #semigroups and automata theory #Machine Learning and Algorithms