多尔夫，塞巴斯蒂安·沃姆;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） 全文： 内政部
陈明帅;马丁·范策尔;李，杨佳;彼得·莫萨德（Peter N.Mosaad）。;詹乃军 验证了基于仿真的延迟微分动力学验证。 （英文） Zbl 1427.68163号 Fitzgerald，John（编辑）等，FM 2016：形式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。9995, 137-154 (2016).MSC公司：60年第68季度 34K05号 37立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人，Lect。注释计算。科学。9995，137--154（2016；Zbl 1427.68163） 全文： 内政部