Cited By
View all- Dziadek SFahrenberg USchlehuber P(2024)ω-Regular Energy ProblemsFormal Aspects of Computing10.1145/367826537:1(1-30)Online publication date: 17-Jul-2024
- Cuijpers PHansen JLarsen K(2024)Safe and Infinite Resource Scheduling Using Energy Timed AutomataTheoretical Aspects of Software Engineering10.1007/978-3-031-64626-3_5(73-90)Online publication date: 29-Jul-2024
- Dziadek SFahrenberg USchlehuber-Caissier P(2023)Energy Büchi ProblemsFormal Methods10.1007/978-3-031-27481-7_14(222-239)Online publication date: 3-Mar-2023
- Show More Cited By