no code implementations • 25 Oct 2021 • Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Marielle Stoelinga
We use state-of-the-art verification techniques to provide guarantees on the iMDP, and compute a controller for which these guarantees carry over to the autonomous system.
no code implementations • 29 Jan 2021 • Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen
We study a smart grid with wind power and battery storage.