Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol. Explicit state model checking with generalized Büchi and Rabin automata. In Hakan Erdogmus, Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pages 50-59, ACM, 2017. [doi]
Abstract is missing.