On the optimal reachability problem of weighted timed automata
From MaRDI portal
Publication:2385195
Recommendations
- Symbolic optimal reachability in weighted timed automata
- scientific article; zbMATH DE number 1794360
- Optimal paths in weighted timed automata
- On the Interval-Bound Problem for Weighted Timed Automata
- Backward symbolic optimal reachability in weighted timed automata
- Improved undecidability results on weighted timed automata
- Automata, Languages and Programming
- A Kleene-Schützenberger theorem for weighted timed automata
- A Kleene-Schützenberger Theorem for Weighted Timed Automata
Cites work
- A theory of timed automata
- Automata, Languages and Programming
- Convex Analysis
- Decidable integration graphs.
- Formal Modeling and Analysis of Timed Systems
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- scientific article; zbMATH DE number 1263213 (Why is no real title available?)
- scientific article; zbMATH DE number 1303059 (Why is no real title available?)
- scientific article; zbMATH DE number 1337733 (Why is no real title available?)
- scientific article; zbMATH DE number 1794367 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Model-checking in dense real-time
- Uppaal in a nutshell
Cited in
(47)- Timed automata relaxation for reachability
- Costs and rewards in priced timed automata
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Timed network games
- Model measuring for discrete and hybrid systems
- Optimal reachability for multi-priced timed automata
- Robust weighted timed automata and games
- Optimal reachability in divergent weighted timed games
- scientific article; zbMATH DE number 5885701 (Why is no real title available?)
- On the Interval-Bound Problem for Weighted Timed Automata
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Concavely-Priced Timed Automata
- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
- Weighted Timed MSO Logics
- How to Tackle Integer Weighted Automata Positivity
- Model checking logic WCTL with multi constrained modalities on one clock priced timed automata
- Revisiting decidability and optimum reachability for multi-priced timed automata
- On the supports of recognizable timed series
- A survey of timed automata for the development of real-time systems
- scientific article; zbMATH DE number 1796156 (Why is no real title available?)
- scientific article; zbMATH DE number 1794360 (Why is no real title available?)
- SMT-based searching for k-quasi-optimal runs in weighted timed automata
- Symbolic optimal reachability in weighted timed automata
- Costs and rewards in priced timed automata
- Timed network games with clocks
- Symbolic Approximation of Weighted Timed Games
- Timed automata robustness analysis via model checking
- One-clock priced timed games with negative weights
- Timed network games
- Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
- A Kleene-Schützenberger Theorem for Weighted Timed Automata
- Automata, Languages and Programming
- MSO logics for weighted timed automata
- Foundations of Software Science and Computational Structures
- Formal Modeling and Analysis of Timed Systems
- Optimal run problem for weighted register automata
- Optimal run problem for weighted register automata
- Optimal paths in weighted timed automata
- Optimal controller synthesis for timed systems
- Monte Carlo tree search for priced timed automata
- A Kleene-Schützenberger theorem for weighted timed automata
- Weighted o-minimal hybrid systems
- Cycle encoding-based parameter synthesis for timed automata safety
- Playing stochastically in weighted timed games to emulate memory
- Synthesis of robust optimal real-time systems
- Playing stochastically in weighted timed games to emulate memory
- Component simulation-based substitutivity managing QoS and composition issues
This page was built for publication: On the optimal reachability problem of weighted timed automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2385195)
