53 citations · 60 across the 5 of their papers we have counts for
1 paper · 1 filter
Zhe Xu, Agung Julius, Ufuk Topcu +1
In this paper, we present a controller synthesis approach for wind turbine generators (WTG) and energy storage systems with metric temporal logic (MTL) specifications, with provabl…