Items where Author is "Rümmer, Philipp"

Group by: Item Type | No Grouping

Jump to: Papers in Conference Proceedings

Number of items: 1.

Papers in Conference Proceedings

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

This list was generated on Fri Sep 25 05:22:14 2026 +03.