4 citations · 10 across the 14 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2026
Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
Miriam Kranzlmüller, Lukas Koller, Tobias Ladner +1
Barrier certificates are scalar functions over the state space of dynamical systems that separate all unsafe states from all reachable states. The existence of a barrier certificat…
eess.SY2024★ 4 cited
CommonPower: A Framework for Safe Data-Driven Smart Grid Control
Michael Eichelbeck, Hannah Markgraf, Matthias Althoff
The growing complexity of power system management has led to an increased interest in reinforcement learning (RL). To validate their effectiveness, RL algorithms have to be evaluat…