This website uses technically necessary cookies to offer the best possible functionality.

Further Information

Skip to Content Skip to Main Navigation Skip to Search

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Presentation: Katrin Dannert

Wednesday, 14.02.2018, 10:15am

Location: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, building E3, room 9u10

Speaker: Katrin Dannert

Titel: Succint Counting and Progress Measures for Infinite Games

last updated : 23/04/2018

Faculty of Mathematics, Computer Science and Natural Sciences

Business and Economics

Faculty of Civil Engineering

Services Institutions