Visibly pushdown modular games
From MaRDI portal
Publication:515657
DOI10.1016/J.IC.2016.07.007zbMATH Open1362.68166OpenAlexW2794005610MaRDI QIDQ515657FDOQ515657
Authors: I. De Crescenzo, Salvatore La Torre, Yaron Velner 
Publication date: 16 March 2017
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2016.07.007
Recommendations
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Games involving graphs (91A43)
Cites Work
- Dense-timed pushdown automata
- On the Complexity of Ltl Model-Checking of Recursive State Machines
- Adding nesting structure to words
- Pushdown processes: Games and model-checking
- Title not available (Why is that?)
- A unifying approach for multistack pushdown automata
- Playing games with boxes and diamonds.
- Synthesis from Component Libraries
- Synthesizing reactive programs
- Modular strategies for recursive game graphs
- Deterministic generators and games for LTL fragments
- Tools and Algorithms for the Construction and Analysis of Systems
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Computer Aided Verification
- Facets of Synthesis: Revisiting Church’s Problem
- Computer Aided Verification
- Verification of scope-dependent hierarchical state machines
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
- Title not available (Why is that?)
- First-Order and Temporal Logics for Nested Words
- Reducing concurrent analysis under a context bound to sequential analysis
- Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
- A general modular synthesis problem for pushdown systems
- A Temporal Logic for Multi-threaded Programs
- Evaluation is MSOL-compatible
- Games on Multi-stack Pushdown Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Synthesis from recursive-components libraries
- Visibly pushdown modular games
- Modular synthesis with open components
- Scope-bounded pushdown languages
Cited In (7)
- A general modular synthesis problem for pushdown systems
- Visibly pushdown modular games
- Modular strategies for recursive game graphs
- Title not available (Why is that?)
- The complexity of mean-payoff pushdown games
- Visibly pushdown modular games
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
This page was built for publication: Visibly pushdown modular games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q515657)
