Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances

von Bai, Yunjun
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)

Abstraction-Based Incremental Inductive Coverability for Petri Nets

von Kang, Jiawen
Veröffentlicht in PETRI NETS (42. : 2021 : Online) Application and Theory of Petri Nets and Concurrency (2021)