TY  - RPRT
TI  - Regular Model Checking Upside-Down: An Invariant-Based Approach
AU  - Javier Esparza
AU  - Michael Raskin
AU  - Christoph Welzel-Mohr
PY  - 2025
DO  - 10.46298/lmcs-21(1:4)2025
UR  - https://arxiv.org/abs/2205.03060
ID  - 2205.03060
ER  -