Für interessierte UnRAVel Mitglieder: Research Seminar by RTG QuantLA: Semiring Provenance for LFP and Strategy Analysis of Büchi Games

Dienstag, 11.05.2021, 13.00 Uhr

Ort: Online Session

Vortragender: Erich Grädel (RWTH Aachen)

 

Abstract:

TBA