Good-for-Games ω-Pushdown Automata
This paper by Karoliina Lehtinen and Martin Zimmermann, presented at LICS 2020, explores the concept of good-for-games ω-pushdown automata.
Saarland Informatics Campus
251 views • Jul 2, 2020
About this video
LICS 2020
Good-for-games ω-Pushdown Automata
Karoliina Lehtinen and Martin Zimmermann
Good-for-games ω-Pushdown Automata
Karoliina Lehtinen and Martin Zimmermann
Video Information
Views
251
Likes
5
Duration
21:56
Published
Jul 2, 2020
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now