On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic

N. Alechina, N. Bulling, B. Logan, Hoan Nga Nguyen

Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

16 Citations (Scopus)

Fingerprint

Dive into the research topics of 'On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic'. Together they form a unique fingerprint.

Computer Science