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.