Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Patrick Kasting
Synthesis of Railway-Signaling Plans Using Reachability Games
Related publications
O-Minimal Hybrid Reachability Games
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Additional Winning Strategies in Reachability Games*†
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Regular Strategies in Pushdown Reachability Games
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Control With Parametric Timed Reachability Games
IFAC Proceedings Volumes
Controller Synthesis for Nonlinear Systems With Reachability Specifications Using Monotonicity
Formal Development for Railway Signaling Using Commercial Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Specification Inference Using Context-Free Language Reachability
Verification of Protocol Conformance Test Cases Using Reachability Analysis
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
