TY  - RPRT
TI  - Counting and Reasoning with Plans
AU  - David Speck
AU  - Markus Hecher
AU  - Daniel Gnad
AU  - Johannes K. Fichte
AU  - Augusto B. Corrêa
PY  - 2025
UR  - https://arxiv.org/abs/2502.00145
ID  - 2502.00145
ER  -