Stubborn Set Reduction for Two-Player Reachability Games

Autor: B��nneland, Frederik Meyer, Jensen, Peter Gj��l, Larsen, Kim Guldstrand, Mu��iz, Marco, Srba, Ji����

Publikováno v: Bønneland, F M, Jensen, P G, Larsen, K G, Muñiz, M & Srba, J 2021, ' Stubborn Set Reduction for Two-Player Reachability Games ', Logical Methods in Computer Science, bind 17, nr. 1 . https://doi.org/10.23638/LMCS-17(1:21)2021

Logical Methods in Computer Science ; Volume 17, Issue 1 ; 1860-5974
Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the siz

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a291e8a6a5bf5254ad8ac8da9e8611dc