Amanote Research
Register
Sign In
Synthesis of Railway-Signaling Plans Using Reachability Games
doi 10.1145/3064899.3064908
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2016
Authors
Patrick Kasting
Michael R. Hansen
Steen Vester
Publisher
ACM Press
Related search
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
