Items where Author is "Yılmaz, Harun"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Henzinger, Thomas A. and Mazzocchi, Nicolas and Saraç, N. Ege and Yılmaz, Harun (2026) Extending QuAK with nested quantitative automata. In: 38th International Conference on Computer Aided Verification, CAV 2026, Lisbon, Portugal