TY  - RPRT
TI  - Traversing automata with current state uncertainty under LTL$_f$ constraints
AU  - Andrew Ryzhikov
AU  - Petra Wolf
PY  - 2023
UR  - https://arxiv.org/abs/2311.17849
ID  - 2311.17849
ER  -