Verifying Systems of Resource-Bounded Agents

DOI10.1007/978-3-319-40189-8_1zbMath1475.68397OpenAlexW2482984996MaRDI QIDQ3188235

Brian Logan, Natasha Alechina

Publication date: 17 August 2016

Published in: Pursuit of the Universal (Search for Journal in Brave)

Full work available at URL: http://eprints.nottingham.ac.uk/34430/

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Related Items (1)

State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

Uses Software

• PRISM
• MCMAS
• MOCHA

Cites Work

• Unnamed Item
• Unnamed Item
• The virtues of idleness: a decidable fragment of resource agent logic
• On a Logic for Coalitional Games with Priced-Resource Agents
• On the (un-)decidability of model-checking resource-bounded agents
• Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL
• The Cognitive Agents Specification Language and Verification Environment
• Logic for coalitions with bounded resources
• Alternating-time temporal logic
• Automatic verification of finite-state concurrent systems using temporal logic specifications

This page was built for publication: Verifying Systems of Resource-Bounded Agents