Recommendations
Cites work
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- scientific article; zbMATH DE number 2084388 (Why is no real title available?)
- scientific article; zbMATH DE number 1759605 (Why is no real title available?)
- scientific article; zbMATH DE number 7297884 (Why is no real title available?)
- Alternating-time temporal logic
- An automata-theoretic approach to branching-time model checking
- Asynchronous announcements in a public channel
- Augmenting ATL with strategy contexts
- Augmenting branching temporal logics with existential quantification over atomic propositions
- Cost-parity and cost-Streett games
- Finitary winning in \({\omega}\)-regular games
- From liveness to promptness
- Functional analysis
- Graded computation tree logic
- How good is a strategy in a game with Nature?
- Infinite-state games with finitary conditions
- Linear temporal logic for regular cost functions
- On promptness in parity games
- On the Expressive Power of Cost Logics over Infinite Words
- Parametric temporal logic for “model measuring”
- Parity and Streett games with costs
- Promptness in \(\omega \)-regular automata
- Quantified CTL: expressiveness and complexity
- Reasoning about strategies: on the model-checking problem
- Regular cost functions. I: Logic and algebra over words
- Solving Games Without Determinization
- Strategy logic
- Synthesis with rational environments
- The Theory of Stabilisation Monoids and Regular Cost Functions
- The bridge between regular cost functions and omega-regular languages
- The temporal logic of branching time
- Trading bounds for memory in games with counters
- Weighted Strategy Logic with Boolean Goals Over One-Counter Games.
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)
