TY  - RPRT
TI  - Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
AU  - Xinyi Yu
AU  - Yiqi Zhao
AU  - Xiang Yin
AU  - Lars Lindemann
PY  - 2025
UR  - https://arxiv.org/abs/2312.04242
ID  - 2312.04242
ER  -