Decidable model-checking for a resource logic with production of resources

Decidable model-checking for a resource logic with production of resources

Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resources is considered or the total amount of resources produced or consumed on any path in the system is bounded, then the m...

Full description

Bibliographic Details
Main Authors: Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco
Format: Conference or Workshop Item
Published: 2014
Online Access:https://eprints.nottingham.ac.uk/30179/

Similar Items

Similar Items