Alternating-time temporal logic
From MaRDI portal
Publication:3455546
DOI10.1145/585265.585270zbMath1326.68181OpenAlexW2048905609WikidataQ64059056 ScholiaQ64059056MaRDI QIDQ3455546
Orna Kupferman, Thomas A. Henzinger, Rajeev Alur
Publication date: 7 December 2015
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://repository.upenn.edu/cis_reports/102
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (only showing first 100 items - show all)
Differential Game Logic ⋮ Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL + ⋮ Constructive Game Logic ⋮ Reasoning about manipulation in multi-agent systems ⋮ State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems ⋮ Symmetric Strategy Improvement ⋮ Consensus Game Acceptors ⋮ Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux ⋮ The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ A Tableau for Bundled Strategies ⋮ Ordered Resolution for Coalition Logic ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Symbolic Model Checking for Alternating Projection Temporal Logic ⋮ BISIMULATIONS FOR KNOWING HOW LOGICS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Distant Group Responsibility in Multi-agent Systems ⋮ Unnamed Item ⋮ To be announced ⋮ Counterfactual and seeing-to-it responsibilities in strategic games ⋮ Taming strategy logic: non-recurrent fragments ⋮ Epistemic planning: perspectives on the special issue ⋮ An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information ⋮ Automated Verification of Concurrent Stochastic Games ⋮ Fine-grained complexity lower bounds for problems in computer aided verification ⋮ Symbolic verification and strategy synthesis for turn-based stochastic games ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES ⋮ Distributed Synthesis for Alternating-Time Logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ ACTION TYPES IN STIT SEMANTICS ⋮ Value Iteration ⋮ Unnamed Item ⋮ Unnamed Item ⋮ ATL* Satisfiability Is 2EXPTIME-Complete ⋮ A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A public announcement separation logic ⋮ Coalition formation in social environments with logic-based agents1 ⋮ DYNAMICS OF CHOICE RESTRICTION IN LARGE GAMES ⋮ Combinations of Qualitative Winning for Stochastic Parity Games ⋮ Consensus Game Acceptors and Iterated Transductions ⋮ A GENERAL NOTION OF UNIFORM STRATEGIES ⋮ On logical and concurrent equivalences ⋮ Stability under Strategy Switching ⋮ Partial-Observation Stochastic Games ⋮ Imperfect Information in Logic and Concurrent Games ⋮ Reasoning about Strategies ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS ⋮ A Refined Resolution Calculus for CTL ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Temporal Logic of Normative Systems ⋮ On the complexity of resource-bounded logics ⋮ A Complete STIT Logic for Knowledge and Action, and Some of Its Applications ⋮ Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions ⋮ Game Quantification Patterns ⋮ A Logic for Reasoning about Rational Agents ⋮ Unnamed Item ⋮ ATL with Strategy Contexts and Bounded Memory ⋮ Model Checking Strategic Equilibria ⋮ Logics and Bisimulation Games for Concurrency, Causality and Conflict ⋮ Solving Parity Games in Big Steps ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Who should be my friends? Social balance from the perspective of game theory ⋮ Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection ⋮ Logics for Dynamic Epistemic Behavioral Strategies ⋮ Quantifying Bounds in Strategy Logic ⋮ Branching-Time Temporal Logics with Minimal Model Quantifiers ⋮ Formal Verification for Components and Connectors ⋮ Easy Yet Hard: Model Checking Strategies of Agents ⋮ A Survey of Bidding Games on Graphs (Invited Paper) ⋮ A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains ⋮ On the Reconciliation of Logics of Agency and Logics of Event Types ⋮ Constructive knowledge: what agents can achieve under imperfect information ⋮ A logical characterisation of qualitative coalitional games ⋮ Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation ⋮ Unnamed Item ⋮ Multi-valued Verification of Strategic Ability ⋮ Infinite-Duration Bidding Games ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ Logic and Game Theory ⋮ Unnamed Item ⋮ Model-checking for resource-bounded ATL with production and consumption of resources
This page was built for publication: Alternating-time temporal logic
