Verification of multi-agent systems with public actions against strategy logic (Q785241): Difference between revisions

@@ Property / describes a project that uses @@
+MCMAS-SLK
@@ Property / describes a project that uses: MCMAS-SLK / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2020.103302
+Normal rank
@@ Property / OpenAlex ID @@
+W3024446676
@@ Property / OpenAlex ID: W3024446676 / 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 @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+Strategy logic
@@ Property / cites work: Strategy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908844
@@ Property / cites work: Q2908844 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Strategies
@@ Property / cites work: Reasoning About Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Q2980973
@@ Property / cites work: Q2980973 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical verification of multi-agent systems against \textsc{Slk} specifications
+Normal rank
@@ Property / cites work @@
+Q5506377
@@ Property / cites work: Q5506377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461756
@@ Property / cites work: Q4461756 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of strategy logic
@@ Property / cites work: On the semantics of strategy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Dependences in Strategy Logic
@@ Property / cites work: Dependences in Strategy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A logic with revocable and refinable strategies
@@ Property / cites work: A logic with revocable and refinable strategies / rank @@
+Normal rank
@@ Property / cites work @@
+An Epistemic Strategy Logic
@@ Property / cites work: An Epistemic Strategy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Decision algorithms for multiplayer noncooperative games of incomplete information
+Normal rank
@@ Property / cites work @@
+Distributed Synthesis for Alternating-Time Logics
@@ Property / cites work: Distributed Synthesis for Alternating-Time Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical Information Patterns and Distributed Strategy Synthesis
+Normal rank
@@ Property / cites work @@
+Q5144683
@@ Property / cites work: Q5144683 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic and Knowledge Puzzles
@@ Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic planning for single- and multi-agent systems
+Normal rank
@@ Property / cites work @@
+Synthesis with rational environments
@@ Property / cites work: Synthesis with rational environments / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about equilibria in game-like concurrent systems
+Normal rank
@@ Property / cites work @@
+Imperfect information in reactive modules games
@@ Property / cites work: Imperfect information in reactive modules games / rank @@
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681371
@@ Property / cites work: Q4681371 / rank @@
+Normal rank
@@ Property / cites work @@
+Graded modalities in strategy logic
@@ Property / cites work: Graded modalities in strategy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Behaviour and Strategy Construction in Infinite Multiplayer Games
+Normal rank
@@ Property / cites work @@
+Rational secret sharing and multiparty computation
+Normal rank
@@ Property / cites work @@
+The Logic of Animal Conflict
@@ Property / cites work: The Logic of Animal Conflict / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111630
@@ Property / cites work: Q5111630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5357709
@@ Property / cites work: Q5357709 / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibria of concurrent games on event structures
+Normal rank
@@ Property / cites work @@
+Q5801633
@@ Property / cites work: Q5801633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5801632
@@ Property / cites work: Q5801632 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Bluffing Strategies in Poker
@@ Property / cites work: Optimal Bluffing Strategies in Poker / rank @@
+Normal rank
@@ Property / cites work @@
+Q2818537
@@ Property / cites work: Q2818537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified CTL: Expressiveness and Complexity
@@ Property / cites work: Quantified CTL: Expressiveness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Augmenting ATL with strategy contexts
@@ Property / cites work: Augmenting ATL with strategy contexts / rank @@
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank