TY  - RPRT
TI  - Switching Controller Synthesis for Hybrid Systems Against STL Formulas
AU  - Han Su
AU  - Shenghua Feng
AU  - Sinong Zhan
AU  - Naijun Zhan
PY  - 2024
UR  - https://arxiv.org/abs/2406.16588
ID  - 2406.16588
ER  -