Harun Y{\i}lmaz

Identifiers

• name variant Harun Y{\i}lmaz 0.60 · backfill

Papers (1)

1. Extending QuAK with Nested Quantitative Automata cs.FL · 2026 · author #4

Mentions

• 2605.12418 #4 · arxiv_oai · confidence 0.70 Harun Y{\i}lmaz

Frequent Coauthors

• N. Ege Sara\c{c} 1 shared papers
• Nicolas Mazzocchi 1 shared papers
• Thomas A. Henzinger 1 shared papers