# On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic

> Research article (Nottingham ePrints (University of Nottingham), 2015) · cited 12× · AI/ML

**Wikidata**: [openalex:W1924636608](https://www.wikidata.org/wiki/openalex:W1924636608)  
**Source**: https://4ort.xyz/entity/on-the-boundary-of-un-decidability-decidable-model-checking-for-a-fragment-of-resource-agent-logic