Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas Brihaye
O-Minimal Hybrid Reachability Games
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
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
Synthesis of Railway-Signaling Plans Using Reachability Games
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems
Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Avoiding Geometric Intersection Operations in Reachability Analysis of Hybrid Systems
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
