Send email Copy Email Address
Placeholder
Postdoc

Ege Saraç

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Publications by Ege Saraç

Year 2026

2026-07-26

Extending QuAK with Nested Quantitative Automata

Conference / Medium

International Conference on Computer Aided Verification (CAV) 2026
Extending QuAK with Nested Quantitative Automata

Tags
Authors
  • Thomas A Henzinger
  • Nicolas Mazzocchi
  • Ege Saraç
  • Harun Yilmaz
Full Paper Visit Detail Page
2026-05-18

Quantitative Monitoring of Signal First-Order Logic

Conference / Medium

International Symposium on Formal Methods (FM) 2026
Quantitative Monitoring of Signal First-Order Logic

Tags
Authors
Full Paper Visit Detail Page