Infinite Runs in Weighted Timed Automata with Energy Constraints
From MaRDI portal
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
- 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
- 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
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- 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?)
- 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
(67)- Extending finite-memory determinacy to multi-player games
- Energy parity games
- Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines
- Weighted register automata and weighted logic on data words
- Optimal and robust controller synthesis using energy timed automata with uncertainty
- Optimal and robust controller synthesis. Using energy timed automata with uncertainty
- Faster algorithms for quantitative verification in bounded treewidth graphs
- Weighted automata
- The GKK algorithm is the fastest over simple mean-payoff games
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Computing branching distances with quantitative games
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp
- The complexity of multi-mean-payoff and multi-energy games
- Reachability in two-clock timed automata is PSPACE-complete
- Average-energy games
- Model checking and synthesis for branching multi-weighted logics
- A note on the approximation of mean-payoff games
- Reachability games with relaxed energy constraints
- Quantitative controller synthesis for consumption Markov decision processes
- Optimal bounds for multiweighted and parametrised energy games
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Timed automata with observers under energy constraints
- Bounding Average-Energy Games
- Energy games in multiweighted automata
- Graph Games and Reactive Synthesis
- Model Checking Real-Time Systems
- The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Weighted versus Probabilistic Logics
- Revisiting decidability and optimum reachability for multi-priced timed automata
- Modal transition systems with weight intervals
- Costs and rewards in priced timed automata
- Average-energy games
- ^*-continuous Kleene -algebras for energy problems
- Reachability games with relaxed energy constraints
- Resource-aware automata and games for optimal synthesis
- Optimally Resilient Strategies in Pushdown Safety Games
- scientific article; zbMATH DE number 7559480 (Why is no real title available?)
- scientific article; zbMATH DE number 7559503 (Why is no real title available?)
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
- A faster deterministic exponential time algorithm for energy games and mean payoff games
- Faster algorithms for mean-payoff parity games
- Solving mean-payoff games via quasi dominions
- Parametric verification of weighted systems
- Improved pseudo-polynomial bound for the value problem and optimal strategy synthesis in mean payoff games
- An $\omega$-algebra for real-time energy problems
- Faster algorithms for mean-payoff games
- Energy mean-payoff games
- Alternation-free weighted mu-calculus: decidability and completeness
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- Playing Safe, Ten Years Later
- Energy Büchi problems
- Solving mean-payoff games via quasi dominions
- Efficient Algorithms for Omega-Regular Energy Games
- Characterizing positionality in games of Infinite duration over infinite graphs
- Half-positional objectives recognized by deterministic Büchi automata
- Characterizing positionality in games of infinite duration over infinite graphs
- Positional \(\omega\)-regular languages
- Bidding games with charging
- Fast algorithms for energy games in special cases
- Positional -regular languages
- Formal verification and synthesis of mechanisms for social choice
- Limit your consumption! Finding bounds in average-energy games
- -regular energy problems
- Quantitative analysis of weighted transition systems
- Knowing-how reasoning with budgets recasted: universal reachability problem on VASS
- The complexity of games with randomised control
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)
