Luca Bernardinello, Görkem Kilinç, Lucia Pomello. Weak Observable Liveness and Infinite Games on Finite Graphs. In Wil M. P. van der Aalst, Eike Best, editors, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings. Volume 10258 of Lecture Notes in Computer Science, pages 181-199, Springer, 2017. [doi]
Abstract is missing.