About me
I am a fourth year student at ENS Rennes. My favorite topics are automata and temporal logics. I am currently studying at MPRI.
Resume
Publications
- The Complexity of Fragments of
Second-order
HyperLTL
with Martin Zimmermann and Hadar Frenkel, accepted for publication in Logical Methods in Computer Science . - The Complexity of
Generalized HyperLTL with Stuttering and Contexts
with Martin Zimmermann, GandALF 2025 . - The Complexity
of HyperQPTL
with Martin Zimmermann, accepted for publication in Information Processing Letters .
Contact me
gaetan.regaudens-rennes.fr