The virtues of idleness: a decidable fragment of resource agent logic
type: Item
instance of: scholarly article
title: The virtues of idleness: a decidable fragment of resource agent logic
zbMATH Open document ID: 1402.68122
author: Natasha Alechina
author: Nils Bulling
author: Brian Logan
author: Hoang Nga Nguyen
published in: Artificial Intelligence
publication date: 2017-02-28T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T42
zbMATH DE Number: 6689856
zbMATH Keywords: strategy logics
zbMATH Keywords: resource constraints
zbMATH Keywords: model checking
describes a project that uses: PRISM
MaRDI profile type: Publication
full work available at URL: j.artint.2016.12.005
OpenAlex ID: W2569421531
cites work: On the (un-)decidability of model-checking resource-bounded agents
cites work: Q4992519
cites work: Q3388742
cites work: Q5282949
cites work: Model-checking for resource-bounded ATL with production and consumption of resources
cites work: Q5313998
cites work: A Modal Logic for Coalitional Power in Games
cites work: Logic for coalitions with bounded resources
cites work: Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL
cites work: On a logic for coalitional games with priced-resource agents
cites work: Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
cites work: On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems
cites work: Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
cites work: Temporal property verification as a program analysis task
cites work: Parameterised verification for multi-agent systems
cites work: Q4247290
cites work: Model Checking Coverability Graphs of Vector Addition Systems
cites work: Q5283032
cites work: The Logic of Bunched Implications
cites work: Possible worlds and resources: The semantics of \(\mathbf{BI}\)
cites work: Classical BI
cites work: A Logical and Computational Theory of Located Resource
cites work: Alternating-time temporal logic
cites work: Q5592246
cites work: Q3911403
cites work: On the complexity of resource-bounded logics
DOI: 10.1016/J.ARTINT.2016.12.005
description: scientific article; zbMATH DE number 6689856