Optimally Resilient Strategies in Pushdown Safety Games

DOI10.4230/LIPICS.MFCS.2020.74MaRDI QIDQ5089248zbMATH OpenOpenAlexFDO

Authors Daniel Neider, Patrick Totzke, Martín G. Zimmermann

Publication date 18 July 2022

Full work available at URL https://arxiv.org/abs/1912.04771

zbMATH Keywords

controller synthesisinfinite gamespushdown gamesresilient strategies

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 1670767 (Why is no real title available?)
• scientific article; zbMATH DE number 5954369 (Why is no real title available?)
• scientific article; zbMATH DE number 549853 (Why is no real title available?)
• scientific article; zbMATH DE number 2038738 (Why is no real title available?)
• scientific article; zbMATH DE number 2155191 (Why is no real title available?)
• scientific article; zbMATH DE number 2086664 (Why is no real title available?)
• A note on emptiness for alternating finite automata with a one-letter alphabet
• An automaton learning approach to solving safety games over infinite graphs
• Automata, logics, and infinite games. A guide to current research
• Better Quality in Synthesis through Quantitative Objectives
• Bisimulation equivalence and regularity for real-time one-counter automata
• Church synthesis problem for noisy input
• Foundations of Software Science and Computation Structures
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Infinite-state energy games
• Latticed-LTL synthesis in the presence of noisy inputs
• On synthesizing robust discrete controllers under modeling uncertainty
• Optimal strategies in pushdown reachability games
• Playing pushdown parity games in a hurry
• Program Analysis Using Weighted Pushdown Systems
• Pushdown processes: Games and model-checking
• Reachability games on automatic graphs
• Reachability in succinct one-counter games
• Recursive Markov decision processes and recursive stochastic games
• Robust linear temporal logic
• Solving Sequential Conditions by Finite-State Strategies
• Summaries for context-free games
• Synthesizing Optimally Resilient Controllers
• Synthesizing robust systems
• The Bisimulation Problem for Equational Graphs of Finite Out-Degree
• The theory of ends, pushdown automata, and second-order logic
• Towards Robustness for Cyber-Physical Systems
• \(L(A)=L(B)\)? decidability results from complete formal systems

Cited in

(3)

• scientific article; zbMATH DE number 7340147 (Why is no real title available?)
• How to win first-order safety games
• Synthesising Succinct Strategies in Safety and Reachability Games

This page was built for publication: Optimally Resilient Strategies in Pushdown Safety Games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089248)