The virtues of idleness: a decidable fragment of resource agent logic (Q514142): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2016.12.005
@@ Property / DOI: 10.1016/j.artint.2016.12.005 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2016.12.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2569421531
@@ Property / OpenAlex ID: W2569421531 / rank @@
+Normal rank
@@ Property / cites work @@
+On the (un-)decidability of model-checking resource-bounded agents
+Normal rank
@@ Property / cites work @@
+Q4992519
@@ Property / cites work: Q4992519 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3388742
@@ Property / cites work: Q3388742 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5282949
@@ Property / cites work: Q5282949 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking for resource-bounded ATL with production and consumption of resources
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for coalitions with bounded resources
@@ Property / cites work: Logic for coalitions with bounded resources / rank @@
+Normal rank
@@ Property / cites work @@
+Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL
+Normal rank
@@ Property / cites work @@
+On a Logic for Coalitional Games with Priced-Resource Agents
+Normal rank
@@ Property / cites work @@
+Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
+Normal rank
@@ Property / cites work @@
+On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems
+Normal rank
@@ Property / cites work @@
+Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Temporal property verification as a program analysis task
+Normal rank
@@ Property / cites work @@
+Parameterised verification for multi-agent systems
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Coverability Graphs of Vector Addition Systems
+Normal rank
@@ Property / cites work @@
+Q5283032
@@ Property / cites work: Q5283032 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Possible worlds and resources: The semantics of \(\mathbf{BI}\)
+Normal rank
@@ Property / cites work @@
+Classical BI
@@ Property / cites work: Classical BI / rank @@
+Normal rank
@@ Property / cites work @@
+A Logical and Computational Theory of Located Resource
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of resource-bounded logics
@@ Property / cites work: On the complexity of resource-bounded logics / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2016.12.005
@@ Property / DOI: 10.1016/J.ARTINT.2016.12.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:514142