Pushdown processes: Games and model-checking
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 794257
- Model-checking iterated games
- Model-checking iterated games
- Games and model checking for guarded logics
- Automata games for multiple-model checking
- Model Checking Games for Branching Time Logics
- Model-Checking Games for Fixpoint Logics with Partial Order Models
- Model-checking games for fixpoint logics with partial order models
- Model Checking Games
Cites work
- Alternation
- An automata theoretic decision procedure for the propositional mu- calculus
- Fast and simple nested fixpoints
- Fixed point characterization of infinite behavior of finite-state systems
- Games for the -calculus
- scientific article; zbMATH DE number 446840 (Why is no real title available?)
- scientific article; zbMATH DE number 3972842 (Why is no real title available?)
- scientific article; zbMATH DE number 3990873 (Why is no real title available?)
- scientific article; zbMATH DE number 65755 (Why is no real title available?)
- scientific article; zbMATH DE number 1017515 (Why is no real title available?)
- scientific article; zbMATH DE number 941396 (Why is no real title available?)
- scientific article; zbMATH DE number 4119652 (Why is no real title available?)
- On the synthesis of strategies in infinite games
- The theory of ends, pushdown automata, and second-order logic
Cited in
(76)- Note on winning positions on pushdown games with \(\omega\)-regular conditions
- Automatic verification of recursive procedures with one integer parameter.
- Simulation preorder over simple process algebras
- DP lower bounds for equivalence-checking and model-checking of one-counter automata
- Model checking the full modal mu-calculus for infinite sequential processes
- On decidability and complexity of low-dimensional robot games
- Weighted automata on infinite words in the context of attacker-defender games
- Automata on infinite trees
- Reactive synthesis from visibly register pushdown automata
- Finite-state strategies in delay games
- Operator precedence temporal logic and model checking
- Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems
- Hyperplane separation technique for multidimensional mean-payoff games
- Modular strategies for recursive game graphs
- Games for active XML revisited
- Model checking of pushdown systems for projection temporal logic
- Fixpoint logics over hierarchical structures
- On effective construction of the greatest solution of language inequality \(XA\subseteq BX\)
- Marking shortest paths on pushdown graphs does not preserve MSO decidability
- Inverse monoids: decidability and complexity of algebraic questions.
- On robot games of degree two
- Simplification problems for deterministic pushdown automata on infinite words
- The complexity of coverage
- Automated formal analysis and verification: an overview
- Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems
- Bounding Average-Energy Games
- Krivine machines and higher-order schemes
- Model checking procedural programs
- Graph Games and Reactive Synthesis
- Weighted automata on infinite words in the context of attacker-defender games
- Infinite games specified by 2-tape automata
- Finite-state strategies in delay games
- Temporal logic and model checking for operator precedence languages
- Complete SAT-Based Model Checking for Context-Free Processes
- COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES
- Games on Multi-stack Pushdown Systems
- PDL with intersection and converse: satisfiability and infinite-state model checking
- Model Checking FO(R) over One-Counter Processes and beyond
- Games on Higher Order Multi-stack Pushdown Systems
- Linear-time temporal logics with Presburger constraints: an overview
- Branching-time logics with path relativisation
- Improved model checking of hierarchical systems
- Two-Way Tree Automata Solving Pushdown Games
- Game characterization of probabilistic bisimilarity, and applications to pushdown automata
- Krivine machines and higher-order schemes
- μ-Bicomplete Categories and Parity Games
- scientific article; zbMATH DE number 794257 (Why is no real title available?)
- Optimal strategies in pushdown reachability games
- scientific article; zbMATH DE number 7438566 (Why is no real title available?)
- Efficient CTL verification via Horn constraints solving
- scientific article; zbMATH DE number 7471692 (Why is no real title available?)
- Deciding Parity Games in Quasi-polynomial Time
- Optimally Resilient Strategies in Pushdown Safety Games
- Domains for Higher-Order Games
- Visibly pushdown modular games
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- Automata, Logic and Games for the $$\lambda $$ -Calculus
- scientific article; zbMATH DE number 7104937 (Why is no real title available?)
- Abstraction in fixpoint logic
- Automated Technology for Verification and Analysis
- Three notes on the complexity of model checking fixpoint logic with chop
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- A Branching Time Variant of CaRet
- Decidability of model checking with the temporal logic EF
- Topological properties of omega context-free languages
- Free -lattices
- Round- and context-bounded control of dynamic pushdown systems
- On the complexity of multi-pushdown games
- The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates
- Reachability games and friends: a journey through the Lens of memory and complexity (invited talk)
- Games with winning conditions of high Borel complexity
- On the positional determinacy of edge-labeled games
- Model-checking structured context-free languages
- Reachability in recursive Markov decision processes
- Partially commutative inverse monoids.
- On the complexity of checking semantic equivalences between pushdown processes and finite-state processes
This page was built for publication: Pushdown processes: Games and model-checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854405)
