E-mail senden E-Mail Adresse kopieren
Placeholder
Postdoc

Ege Saraç

E-Mail

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Veröffentlichungen von Ege Saraç

Jahr 2026

2026-07-26

Extending QuAK with Nested Quantitative Automata

Konferenz / Medium

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

Tags
Autor:innen
  • Thomas A Henzinger
  • Nicolas Mazzocchi
  • Ege Saraç
  • Harun Yilmaz
Zum Paper Detail-Seite besuchen
2026-05-18

Quantitative Monitoring of Signal First-Order Logic

Konferenz / Medium

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

Tags
Autor:innen
Zum Paper Detail-Seite besuchen