Infinite Runs in Weighted Timed Automata with Energy Constraints
From MaRDI portal
Publication:3543286
Recommendations
- Discount-optimal infinite runs in priced timed automata
- Timed automata with observers under energy constraints
- On the optimal reachability problem of weighted timed automata
- Improved undecidability results on weighted timed automata
- On the Interval-Bound Problem for Weighted Timed Automata
- A Kleene-Schützenberger theorem for weighted timed automata
- A Kleene-Schützenberger Theorem for Weighted Timed Automata
- scientific article; zbMATH DE number 1794360
- Optimal paths in weighted timed automata
- On MITL and alternating timed automata over infinite words
Cites work
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 1794360 (Why is no real title available?)
- scientific article; zbMATH DE number 1794367 (Why is no real title available?)
- Almost Optimal Strategies in One Clock Priced Timed Games
- Alternation
- Automata, Languages and Programming
- Borel determinacy
- CONCUR 2004 - Concurrency Theory
- Costs Are Expensive!
- Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
- Discount-optimal infinite runs in priced timed automata
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Formal Modeling and Analysis of Timed Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Foundations of Software Science and Computational Structures
- Hybrid Systems: Computation and Control
- Improved undecidability results on weighted timed automata
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Model Checking Probabilistic Timed Automata with One or Two Clocks
- Model-Checking One-Clock Priced Timed Automata
- On the optimal reachability problem of weighted timed automata
- Positional strategies for mean payoff games
Cited in
(58)- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- scientific article; zbMATH DE number 7559503 (Why is no real title available?)
- Modal transition systems with weight intervals
- Revisiting decidability and optimum reachability for multi-priced timed automata
- Weighted versus Probabilistic Logics
- Quantitative analysis of weighted transition systems
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Characterizing positionality in games of Infinite duration over infinite graphs
- Alternation-free weighted mu-calculus: decidability and completeness
- An $\omega$-algebra for real-time energy problems
- Playing Safe, Ten Years Later
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp
- Average-energy games
- Quantitative controller synthesis for consumption Markov decision processes
- Energy parity games
- Half-positional objectives recognized by deterministic Büchi automata
- Energy games in multiweighted automata
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Timed automata with observers under energy constraints
- Extending finite-memory determinacy to multi-player games
- The complexity of multi-mean-payoff and multi-energy games
- Reachability in two-clock timed automata is PSPACE-complete
- Energy Büchi problems
- Resource-aware automata and games for optimal synthesis
- Bounding Average-Energy Games
- Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines
- Average-energy games
- Computing branching distances with quantitative games
- Weighted register automata and weighted logic on data words
- Graph Games and Reactive Synthesis
- Model Checking Real-Time Systems
- Faster algorithms for mean-payoff parity games
- Faster algorithms for mean-payoff games
- Optimally Resilient Strategies in Pushdown Safety Games
- The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete
- Solving mean-payoff games via quasi dominions
- Parametric Verification of Weighted Systems
- Reachability games with relaxed energy constraints
- Faster algorithms for quantitative verification in bounded treewidth graphs
- Reachability games with relaxed energy constraints
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
- Optimal bounds for multiweighted and parametrised energy games
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- Characterizing positionality in games of infinite duration over infinite graphs
- Weighted automata
- Costs and rewards in priced timed automata
- A note on the approximation of mean-payoff games
- Solving mean-payoff games via quasi dominions
- \(^*\)-continuous Kleene \(\omega\)-algebras for energy problems
- Optimal and robust controller synthesis using energy timed automata with uncertainty
- Optimal and robust controller synthesis. Using energy timed automata with uncertainty
- scientific article; zbMATH DE number 7559480 (Why is no real title available?)
- Improved pseudo-polynomial bound for the value problem and optimal strategy synthesis in mean payoff games
- Model checking and synthesis for branching multi-weighted logics
- Energy mean-payoff games
- A faster deterministic exponential time algorithm for energy games and mean payoff games
- Efficient Algorithms for Omega-Regular Energy Games
- The GKK algorithm is the fastest over simple mean-payoff games
This page was built for publication: Infinite Runs in Weighted Timed Automata with Energy Constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3543286)
