Open for all UnRAVeL Members: Research Seminar by RTG QuantLA: Semiring Provenance for LFP and Strategy Analysis of Büchi Games
Tuesday, May 11, 2021, 1:00pm
Location: Online Session
Speaker: Erich Grädel (RWTH Aachen)
Abstract:
TBA
Skip to Content Skip to Main Navigation Skip to Search
Location: Online Session
Speaker: Erich Grädel (RWTH Aachen)
Abstract:
TBA