SySCoRe 2.0: Toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specificationsSySCoRe 2.0:用于连续状态随机系统和时序逻辑规范的形式化控制合成的工具集nonlinear analysis hybrid systemsIF02025-05-300PREAI
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations基于鲁棒仿真关系的未知系统贝叶斯形式化综合IEEE TRANSACTIONS ON AUTOMATIC CONTROLIF72025-03-010PRE
Similarity quantification for linear stochastic systems: A coupling compensator approachAUTOMATICAIF5.92022-10-014OAAI