„Pushdown systems“
Suchergebnisse
1.000+ Treffer
-
Decision problems for pushdown threads
-
Reachability in pushdown systems – algorithms and applications
-
Decision problems over infinite graphs – higher-order pushdown systems and synchronized products
-
Model checking pushdown systems
-
Descriptional Complexity of Formal Systems – 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
-
Abstraction refinement for pushdown systems
-
Diagnosis in Infinite-State Probabilistic Systems
-
On Continuous Pushdown VASS in One Dimension
-
Challenges of the Reachability Problem in Infinite-State Systems (Invited Paper)
-
Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata
-
New Lower Bounds for Reachability in Vector Addition Systems
-
Reachability in Bidirected Pushdown VASS
-
Scope-Bounded Reachability in Valence Systems
-
Adaptive Synchronisation of Pushdown Automata
-
Boolean Algebras from Trace Automata
-
Interval Temporal Logic for Visibly Pushdown Systems
-
On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems
-
Verifying Quantitative Temporal Properties of Procedural Programs
-
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems
-
Optimal Strategies in Pushdown Reachability Games