General Optimization Framework for Recurrent Reachability Objectives

David Klaska, Antonín Kucera 0001, Vít Musil, Vojtech Rehák. General Optimization Framework for Recurrent Reachability Objectives. In Luc De Raedt, editor, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022. pages 4642-4648, ijcai.org, 2022. [doi]

Authors

David Klaska

This author has not been identified. Look up 'David Klaska' in Google

Antonín Kucera 0001

This author has not been identified. Look up 'Antonín Kucera 0001' in Google

Vít Musil

This author has not been identified. Look up 'Vít Musil' in Google

Vojtech Rehák

This author has not been identified. Look up 'Vojtech Rehák' in Google