Optimally Resilient Strategies in Pushdown Safety Games

DOI10.4230/LIPICS.MFCS.2020.74OpenAlexW3082937577MaRDI QIDQ5089248FDOQ5089248

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

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

Cited In (3)

• Title not available (Why is that?)
• 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)