News
Next Meeting
Written on 06.06.2018 23:37 by Gilles Nies
Liebe Teilnehmende,
The next meeting will be on upcoming Tuesday (June 12) at 08:30 sharp, in 528 of E 1.3. The session will feature the extension of timed automata to priced timed automata as well as a small survey on battery models and their role in battery-aware mission planning.
In addition we will fix the schedule for the lectures you are in the midst of preparing.
Best,
Holger Hermanns & Gilles Nies