Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří; Ulrik, Nikolaj Jensen Elimination of detached regions in dependency graph verification. (English) Zbl 1534.68104 Caltais, Georgiana (ed.) et al., Model checking software. 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13872, 163-179 (2023). MSC: 68Q60 03B44 68Q85 68R10 PDFBibTeX XMLCite \textit{P. G. Jensen} et al., Lect. Notes Comput. Sci. 13872, 163--179 (2023; Zbl 1534.68104) Full Text: DOI
Enevoldsen, Søren; Jensen, Mathias Claus; Larsen, Kim Guldstrand; Mariegaard, Anders; Srba, Jiří Verification of multiplayer stochastic games via abstract dependency graphs. (English) Zbl 07496651 Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 249-268 (2021). MSC: 68N30 PDFBibTeX XMLCite \textit{S. Enevoldsen} et al., Lect. Notes Comput. Sci. 12561, 249--268 (2021; Zbl 07496651) Full Text: DOI
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří Partial order reduction for reachability games. (English) Zbl 07649931 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 23, 15 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. M. Bønneland} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 23, 15 p. (2019; Zbl 07649931) Full Text: DOI