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)

A Direct Symbolic Algorithm for Solving Stochastic Rabin Games

von Banerjee, Tamajit
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)