Reachability Analysis with State-Compatible Automata.

Bertram Felgenhauer, Ren Thiemann

Browse the full LATA paper archive.