Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M. Hague
Regular Strategies in Pushdown Reachability Games
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Collapsible Pushdown Automata and Recursion Schemes
Proceedings - Symposium on Logic in Computer Science
Mathematics
Software
Related publications
Additional Winning Strategies in Reachability Games*†
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Reachability Analysis of Communicating Pushdown Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
O-Minimal Hybrid Reachability Games
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Control With Parametric Timed Reachability Games
IFAC Proceedings Volumes
Adding Regular Expressions to Graph Reachability and Pattern Queries
Synthesis of Railway-Signaling Plans Using Reachability Games
Network-Formation Games With Regular Objectives
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Information and Strategies in Dynamic Games
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
Two-Player Nonzero-Sum Omega-Regular Games
