Quantifying Bounds in Strategy Logic
From MaRDI portal
Publication:5079747
DOI10.4230/LIPICS.CSL.2018.23OpenAlexW2888854400MaRDI QIDQ5079747FDOQ5079747
Sasha Rubin, Aniello Murano, Nathanaël Fijalkow, Bastien Maubert
Publication date: 28 May 2022
Full work available at URL: https://dblp.uni-trier.de/db/conf/csl/csl2018.html#FijalkowMMR18
Cites Work
- Alternating-time temporal logic
- Title not available (Why is that?)
- The temporal logic of branching time
- The Theory of Stabilisation Monoids and Regular Cost Functions
- An automata-theoretic approach to branching-time model checking
- Reasoning About Strategies
- Synthesis with rational environments
- Title not available (Why is that?)
- Functional analysis
- Strategy logic
- Parametric temporal logic for “model measuring”
- From liveness to promptness
- Finitary winning in ω-regular games
- Solving Games Without Determinization
- Title not available (Why is that?)
- Title not available (Why is that?)
- Augmenting ATL with strategy contexts
- Title not available (Why is that?)
- How Good Is a Strategy in a Game with Nature?
- Quantified CTL: Expressiveness and Complexity
- Title not available (Why is that?)
- Augmenting branching temporal logics with existential quantification over atomic propositions
- Linear Temporal Logic for Regular Cost Functions
- Graded computation tree logic
- Parity and Streett Games with Costs
- On promptness in parity games
- Weighted Strategy Logic with Boolean Goals Over One-Counter Games.
- Regular cost functions. I: Logic and algebra over words
- Promptness in ω-Regular Automata
- Asynchronous Announcements in a Public Channel
- On the Expressive Power of Cost Logics over Infinite Words
- Trading Bounds for Memory in Games with Counters
- The Bridge Between Regular Cost Functions and Omega-Regular Languages
Cited In (7)
- Dependences in strategy logic
- Strategies of the search for derivation of statements with restricted quantifiers
- A logic of strategic ability under bounded memory
- Model Checking Logics of Strategic Ability: Complexity*
- Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism
- Weighted Strategy Logic with Boolean Goals Over One-Counter Games.
- Reasoning about Quality and Fuzziness of Strategic Behaviors
This page was built for publication: Quantifying Bounds in Strategy Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079747)
