FM 2026 (series) / Research Track /
Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification
Fri 22 May 2026 16:35 - 17:00 at 2F Conference Room - Session 11: Cyber-Physical & Robotics Systems Chair(s): Maurice ter Beek
Fri 22 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Fri 22 May
Displayed time zone: Osaka, Sapporo, Tokyo change
16:10 - 17:50 | Session 11: Cyber-Physical & Robotics SystemsResearch Track at 2F Conference Room Chair(s): Maurice ter Beek CNR-ISTI Pisa, Italy | ||
16:10 25mTalk | Exact Moment Estimation of Stochastic Differential Dynamics Research Track Shenghua Feng Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jie An Institute of Software Chinese Academy of Sciences, Naijun Zhan Peking University; Zhongguancun Laboratory, Fanjiang Xu Institute of Software at Chinese Academy of Sciences | ||
16:35 25mTalk | Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification Research Track Niuniu Qi East China Normal University, Hanrui Zhao National University of Defense Technology, Zhengfeng Yang East China Normal University, Xia Zeng Southwest University, Mengxin Ren East China Normal University, Chao Peng East China Normal University, Zhiming Liu Southwest University | ||
17:00 25mTalk | Test Coverage of Automated Robotic Systems in Open World Environments Research Track Lukas Westhofen DLR e.V. Institute of Systems Engineering for Future Mobility, Till Schallau TU Dortmund University, Dominik Schmid TU Dortmund University, Stefan Naujokat TU Dortmund University, Falk Howar TU Dortmund University, Danel Neider TU Dortmund University | ||
17:25 25mTalk | QSeqSim: A Symbolic Simulator for Qiskit While Loops using Sequential Quantum Circuits Research Track Zihao Li University of Chinese Academy of Sciences, Ji Guan Institute of Software, Chinese Academy of Sciences, Mingsheng Ying Tsinghua University | ||