General Optimization Framework for Recurrent Reachability Objectives

David Klaska, Antonin Kucera, Vit Musil, Vojtech Rehak

Video #1 Length : 00:01:29
Video #2 Length : 00:05:58