The following pages link to Alternating-time temporal logic (Q3455546):
Displaying 50 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- On concurrent games with payoff (Q265795) (← links)
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- The undecidability of quantified announcements (Q310079) (← links)
- Synthesis with rational environments (Q314471) (← links)
- Norm-based mechanism design (Q322076) (← links)
- Solving parity games in big steps (Q340584) (← links)
- Network-formation games with regular objectives (Q342715) (← links)
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Automata-theoretic decision of timed games (Q386611) (← links)
- A survey of stochastic \(\omega \)-regular games (Q414898) (← links)
- A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
- Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Petri games: synthesis of distributed systems with causal memory (Q515654) (← links)
- Infinite games with finite knowledge gaps (Q528188) (← links)
- Nash equilibria in symmetric graph games with partial observation (Q528190) (← links)
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- A game-theoretic framework for specification and verification of cryptographic protocols (Q607405) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Making a start with the stit logic analysis of intentional action (Q652741) (← links)
- Where logic and agents meet (Q657584) (← links)
- On timed alternating simulation for concurrent timed games (Q715043) (← links)
- Stochastic game logic (Q715046) (← links)
- The complexity of one-agent refinement modal logic (Q744988) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Syntactic control of concurrency (Q817845) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Reasoning about coalitional games (Q834401) (← links)
- Games with secure equilibria (Q854165) (← links)
- Formal analysis of multiparty contract signing (Q861699) (← links)
- Social laws in alternating time: effectiveness, feasibility, and synthesis (Q885535) (← links)
- On the semantics of strategy logic (Q894440) (← links)
- Randomness for free (Q897644) (← links)
- Augmenting ATL with strategy contexts (Q897650) (← links)
- Profile trees for Büchi word automata, with application to determinization (Q897653) (← links)
- Addressing moral problems through practical reasoning (Q931773) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Logical formalism for specification of real-time multiagent systems (Q945994) (← links)
- Model checking MASL specification of distributed real-time systems (Q946007) (← links)
- Alternating-time stream logic for multi-agent systems (Q967523) (← links)
- Group announcement logic (Q975877) (← links)
- Strategy logic (Q979080) (← links)
- Knowledge condition games (Q1006447) (← links)
- Epistemic logic for rule-based agents (Q1006511) (← links)
- A logic of strategic ability under bounded memory (Q1006515) (← links)
