Quotient of Acceptance Specifications Under Reachability Constraints.

Guillaume Verdier, Jean-Baptiste Raclet

Browse the full LATA paper archive.