离散事件系统的主动预测

斯特凡·哈尔,谢尔盖·哈达德,斯特凡·施温,丽娜·叶.离散事件系统的主动预测.尼汀·萨克塞纳0001,苏尼尔·西蒙,编辑,第40届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2020,2020年12月14-18日,BITS Pilani,K K Birla Goa Campus,Goa,India(虚拟会议).第182卷,共182卷LIPIcs公司达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz Zentrum für Informatik),2020 [美国国防部]

摘要

缺少摘要。