塞巴斯蒂安·沃姆·多夫;Cheng，Chih-Hong先生;哈桑·埃森;马丁·范策尔 用于安全感知行人预测的混合邻域多速元胞自动机。 （英文） Zbl 1522.90009 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。13085, 501-520 (2021).MSC公司：90B20型 37B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.v.Dorff}等人，Lect。注释计算。科学。13085、501--520（2021；Zbl 1522.90009） 全文： 内政部
薛、白;马丁·范策尔;詹乃军 具有时变不确定性多项式系统的内逼近可达集。 （英文） Zbl 1533.93056号 IEEE传输。自动。控制 65，第4期，1468-1483（2020）.MSC公司：93个B03 90C25型 49升25 PDF格式BibTeX公司 XML格式引用 \textit{B.Xue}等人，IEEE Trans。自动。控制65，编号4，1468--1483（2020；Zbl 1533.93056） 全文： 内政部 arXiv公司
薛、白;王秋叶;詹乃军;马丁·范策尔 状态约束摄动多项式系统的鲁棒不变集生成。 （英文） Zbl 07120148号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。128-137 (2019).MSC公司：93至XX 49倍 90倍X PDF格式BibTeX公司 XML格式引用 \textit{B.Xue}等人，in：《第22届ACM混合系统国际会议论文集：计算与控制》，2019年HSCC，加拿大魁北克省蒙特利尔，2019月16-18日。纽约州纽约市：计算机协会（ACM）。128-137（2019年；Zbl 07120148） 全文： 内政部
薛、白;马丁·范策尔;詹乃军 多项式连续系统的欠逼近可达集。 （英文） Zbl 1417.93064号 第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。51-60 (2018).MSC公司：93个B03 93B40码 93C20美元 90立方厘米22 90C25型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Xue}等人，in：《第21届ACM混合系统国际会议论文集：计算与控制》，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。51-60（2018年；Zbl 1417.93064） 全文： 内政部
马丁·范策尔;迈克尔·汉森。;海因里希·奥迪 没必要认识很多邻居。实现MLSL的可实现解释。 （英文） Zbl 1444.68181号 Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。9360, 152-171 (2015).MSC公司：68T27型 68T20型 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，Lect。注释计算。科学。9360、152--171（2015年；Zbl 1444.68181） 全文： 内政部