Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by O.H. Roux
Real-Time Control With Parametric Timed Reachability Games
IFAC Proceedings Volumes
Related publications
Stochastic Real-Time Games With Qualitative Timed Automata Objectives
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Toward Parametric Timed Interfaces for Real-Time Components
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
O-Minimal Hybrid Reachability Games
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Scheduling of Energy Harvesting Embedded Systems With Timed Automata
Compiling Real-Time Scenarios Into a Timed Automaton
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata
International Journal of Foundations of Computer Science
Computer Science
Additional Winning Strategies in Reachability Games*†
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Robust Reachability in Timed Automata: A Game-Based Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
