Reasoning about Quality and Fuzziness of Strategic Behaviors (Q6116358): Difference between revisions

@@ Property / OpenAlex ID @@
+W4319736260
@@ Property / OpenAlex ID: W4319736260 / rank @@
+Normal rank
@@ Property / cites work @@
+Discounting in LTL
@@ Property / cites work: Discounting in LTL / rank @@
+Normal rank
@@ Property / cites work @@
+Formally Reasoning About Quality
@@ Property / cites work: Formally Reasoning About Quality / rank @@
+Normal rank
@@ Property / cites work @@
+High-Quality Synthesis Against Stochastic Environments
+Normal rank
@@ Property / cites work @@
+Latticed-LTL synthesis in the presence of noisy inputs
+Normal rank
@@ Property / cites work @@
+Quantitative assume guarantee synthesis
@@ Property / cites work: Quantitative assume guarantee synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / 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 @@
+Stochastic game logic
@@ Property / cites work: Stochastic game logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144683
@@ Property / cites work: Q5144683 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility in Infinite Games
@@ Property / cites work: Admissibility in Infinite Games / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Specifications with Accumulative Values
@@ Property / cites work: Temporal Specifications with Accumulative Values / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite Runs in Weighted Timed Automata with Energy Constraints
+Normal rank
@@ Property / cites work @@
+Weighted Strategy Logic with Boolean Goals Over One-Counter Games.
+Normal rank
@@ Property / cites work @@
+Averaging in LTL
@@ Property / cites work: Averaging in LTL / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Equilibria in Mean-Payoff Games
@@ Property / cites work: Robust Equilibria in Mean-Payoff Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636592
@@ Property / cites work: Q4636592 / rank @@
+Normal rank
@@ Property / cites work @@
+Assume-admissible synthesis
@@ Property / cites work: Assume-admissible synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+On equilibria in quantitative games with reachability/safety objectives
+Normal rank
@@ Property / cites work @@
+Timed Concurrent Game Structures
@@ Property / cites work: Timed Concurrent Game Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Secure equilibria in weighted games
@@ Property / cites work: Secure equilibria in weighted games / rank @@
+Normal rank
@@ Property / cites work @@
+Q3388742
@@ Property / cites work: Q3388742 / rank @@
+Normal rank
@@ Property / cites work @@
+Doomsday equilibria for omega-regular games
@@ Property / cites work: Doomsday equilibria for omega-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Games with secure equilibria
@@ Property / cites work: Games with secure equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy logic
@@ Property / cites work: Strategy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+How much can taxes help selfish routing?
@@ Property / cites work: How much can taxes help selfish routing? / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking discounted temporal properties
@@ Property / cites work: Model checking discounted temporal properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3536079
@@ Property / cites work: Q3536079 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384166
@@ Property / cites work: Q3384166 / rank @@
+Normal rank
@@ Property / cites work @@
+Positional strategies for mean payoff games
@@ Property / cites work: Positional strategies for mean payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities for model checking: Branching time logic strikes back
+Normal rank
@@ Property / cites work @@
+Quantifying Bounds in Strategy Logic
@@ Property / cites work: Quantifying Bounds in Strategy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Synthesis
@@ Property / cites work: Rational Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475142
@@ Property / cites work: Q4475142 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy Time in Linear Temporal Logic
@@ Property / cites work: Fuzzy Time in Linear Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703299
@@ Property / cites work: Q3703299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3549687
@@ Property / cites work: Q3549687 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Alternating-Time Temporal Logic
@@ Property / cites work: Timed Alternating-Time Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Augmenting branching temporal logics with existential quantification over atomic propositions
+Normal rank
@@ Property / cites work @@
+Q4536596
@@ Property / cites work: Q4536596 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis with rational environments
@@ Property / cites work: Synthesis with rational environments / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+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 @@
+Model-Checking Timed ATL for Durational Concurrent Game Structures
+Normal rank
@@ Property / cites work @@
+Robust discrete synthesis against unspecified disturbances
+Normal rank
@@ Property / cites work @@
+What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
+Normal rank
@@ Property / cites work @@
+Reasoning About Strategies
@@ Property / cites work: Reasoning About Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
+Normal rank
@@ Property / cites work @@
+Algorithmic mechanism design (extended abstract)
@@ Property / cites work: Algorithmic mechanism design (extended abstract) / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Game Theory
@@ Property / cites work: Algorithmic Game Theory / rank @@
+Normal rank
@@ Property / cites work @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Fuzzy Languages
@@ Property / cites work: Fuzzy Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+On synthesizing robust discrete controllers under modeling uncertainty
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems
+Normal rank
@@ Property / cites work @@
+Computation, logic, philosophy. A collection of essays
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank