Nicolas Mazzocchi
Nicolas Mazzocchi
Affiliation: Slovak University of Technology in Bratislava
Pages in this Program
Kofola 1.0: A Modular Approach to 𝝎-Regular Complementation and Inclusion Checking
Extending QuAK with Nested Quantitative Automata
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑