From LTL to rLTL monitoring: improved monitorability through robust semantics
从零担运输到远程零担运输监控：通过强大的语义提高可监控性
期刊:Formal Methods in System Design
影响因子:0.8
doi:10.1007/s10703-022-00398-4
Mascle, Corto; Neider, Daniel; Schwenger, Maximilian; Tabuada, Paulo; Weinert, Alexander; Zimmermann, Martin
