Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking.

Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli

Browse the full TACAS paper archive.