Stem actl$ (all stems)

4 papers:

CAV-2012-Ehlers #ltl #synthesis

ACTL ∩ LTL Synthesis (RE), pp. 39–54.

FoSSaCS-2008-Bojanczyk #ltl

The Common Fragment of ACTL and LTL (MB), pp. 172–185.

FM-1998-FantechiGMPT #model checking

A Symbolic Model Checker for ACTL (AF, SG, FM, RP, ET), pp. 228–242.

CAV-1997-BeerBER #detection #performance

Efficient Detection of Vacuity in ACTL Formulaas (IB, SBD, CE, YR), pp. 279–290.