TY  - RPRT
TI  - Devil's Games and $\text{Q}\mathbb{R}$: Continuous Games complete for the First-Order Theory of the Reals
AU  - Lucas Meijer
AU  - Arnaud de Mesmay
AU  - Tillmann Miltzow
AU  - Marcus Schaefer
AU  - Jack Stade
PY  - 2025
UR  - https://arxiv.org/abs/2512.02779
ID  - 2512.02779
ER  -