TY  - RPRT
TI  - Validating Generalist Robots with Situation Calculus and STL Falsification
AU  - Changwen Li
AU  - Rongjie Yan
AU  - Chih-Hong Cheng
AU  - Jian Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2601.03038
ID  - 2601.03038
ER  -