Energy Büchi problems
From MaRDI portal
Publication:6174536
DOI10.1007/978-3-031-27481-7_14zbMath1529.68138arXiv2205.04392OpenAlexW4323026617MaRDI QIDQ6174536
Philipp Schlehuber-Caissier, Sven Dziadek, Uli Fahrenberg
Publication date: 17 August 2023
Published in: Formal Methods (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2205.04392
energy constraintsweighted automatonenergy problemgeneralized Büchi acceptanceweighted timed automaton
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Better abstractions for timed automata
- A theory of timed automata
- Energy parity games
- Uppaal in a nutshell
- Optimal and robust controller synthesis using energy timed automata with uncertainty
- The complexity of multi-mean-payoff and multi-energy games
- Generalized Mean-payoff and Energy Games
- Timed automata with observers under energy constraints
- On the Interval-Bound Problem for Weighted Timed Automata
- Energy Games in Multiweighted Automata
- On a routing problem
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Coarse abstractions make Zeno behaviours difficult to detect
- CONCUR 2004 - Concurrency Theory
- An Algebraic Approach to Energy Problems I — *-Continuous Kleene ω-Algebras
- An Algebraic Approach to Energy Problems II — The Algebra of Energy Functions
This page was built for publication: Energy Büchi problems
