Stem casp$ (all stems)

3 papers:

PADL-2012-LierlerSTW #declarative #problem

Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving (YL, SS, MT, AW), pp. 63–77.

DATE-2008-LiMM #concurrent #named #self #using

CASP: Concurrent Autonomous Chip Self-Test Using Stored Test Patterns (YL, SM, SM), pp. 885–890.

CAV-2003-BordiniFPVW #model checking #multi #source code

Model Checking Multi-Agent Programs with CASP (RHB, MF, CP, WV, MW), pp. 110–113.