Switching Controller Synthesis for Hybrid Systems Against STL Formulas.

Han Su, Shenghua Feng, Sinong Zhan, Naijun Zhan

Browse the full FM paper archive.