Witness and Counterexample Automata for ACTL.

Robert Meolic, Alessandro Fantechi, Stefania Gnesi

Browse the full FORTE paper archive.