Synthesis of robust optimal real-time systems
From MaRDI portal
Cites work
- A theory of timed automata
- Adding negative prices to priced timed games
- Automata, Languages and Programming
- Decidability of one-clock weighted timed games with arbitrary weights
- Dynamical properties of timed automata
- Formal Modeling and Analysis of Timed Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- scientific article; zbMATH DE number 1303059 (Why is no real title available?)
- Improved undecidability results on weighted timed automata
- On the optimal reachability problem of weighted timed automata
- On the Value Problem in Weighted Timed Games.
- One-clock priced timed games with negative weights
- Optimal controller synthesis for timed systems
- Optimal reachability in divergent weighted timed games
- Probabilistic robust timed games
- Reachability-Time Games on Timed Automata
- Revisiting robustness in priced timed games
- Robust Controller Synthesis in Timed Automata
- Robust controller synthesis in timed Büchi automata: a symbolic approach
- Robust Model-Checking of Linear-Time Properties in Timed Automata
- Robust reachability in timed automata and games: a game-based approach
- Robust weighted timed automata and games
- Shrinking timed automata
- Simple priced timed games are not that simple
- Symbolic Approximation of Weighted Timed Games
This page was built for publication: Synthesis of robust optimal real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7241082)
