Regular Strategies in Pushdown Reachability Games

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-11439-2_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Additional Winning Strategies in Reachability Games*†

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2018English

Reachability Analysis of Communicating Pushdown Systems

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

O-Minimal Hybrid Reachability Games

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Real-Time Control With Parametric Timed Reachability Games

IFAC Proceedings Volumes
2012English

Adding Regular Expressions to Graph Reachability and Pattern Queries

2011English

Synthesis of Railway-Signaling Plans Using Reachability Games

2016English

Network-Formation Games With Regular Objectives

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Information and Strategies in Dynamic Games

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
1992English

Two-Player Nonzero-Sum Omega-Regular Games

2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy