TY  - RPRT
TI  - Guaranteed approximations of arbitrarily quantified reachability problems
AU  - Eric Goubault
AU  - Sylvie Putot
PY  - 2023
UR  - https://arxiv.org/abs/2309.07662
ID  - 2309.07662
ER  -