Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Emmanuel Fleury
Optimal Strategies in Priced Timed Game Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Communications of the ACM
Computer Science
Robust Reachability in Timed Automata: A Game-Based Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Robustness in Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fuzzy-Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Discrete Timed Automata
Frequencies in Forgetful Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Timed Unfoldings for Networks of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Robust Safety of Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
