strategy synthesis

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games IJCAI 2025 Counterfactual Strategies for Markov Decision Processes IJCAI 2025 LTLf Synthesis Under Unreliable Input AAAI 2025 Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives AAAI 2025 Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving IJCAI 2025 Steady-State Strategy Synthesis for Swarms of Autonomous Agents IJCAI 2025 Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances L4DC 2024 Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments IJCAI 2024 Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis IJCAI 2024 Mimicking Behaviors in Separated Domains (Abstract Reprint) AAAI 2024 Natural Strategic Ability in Stochastic Multi-Agent Systems AAAI 2024 The Trembling-Hand Problem for LTLf Planning IJCAI 2024 Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems IJCAI 2023 Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement AAAI 2022 General Optimization Framework for Recurrent Reachability Objectives IJCAI 2022 Synthesis of Maximally Permissive Strategies for LTLf Specifications IJCAI 2022 Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up IJCAI 2021 Regstar: efficient strategy synthesis for adversarial patrolling games UAI 2021 Synthesizing Good-Enough Strategies for LTLf Specifications IJCAI 2021 Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers IJCAI 2020 Synthesis of Deceptive Strategies in Reachability Games with Action Misperception IJCAI 2020 Synthesizing strategies under expected and exceptional environment behaviors IJCAI 2020 Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks IJCAI 2019 Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals IJCAI 2019 Synthesis of Controllable Nash Equilibria in Quantitative Objective Game IJCAI 2018