Regular model checking, Marcus Nilsson
Small Model Theorems for Verification of Parameterized Systems, Tomas Sävström
Small Model Theorem for Parameterized Systems, Frédéric Haziza
Cut-offs and Automata in Formal Verification of Infinite-State Systems, Tomáš Vojnar
Applications of Automata Learning in Verification and Synthesis, Daniel Neider
