General Optimization Framework for Recurrent Reachability Objectives

David Klaska, Antonin Kucera, Vit Musil, Vojtech Rehak

• Video #1 Length : 00:01:29 on SlidesLive
• Video #2 Length : 00:05:58 on SlidesLive