TY  - RPRT
TI  - General Optimization Framework for Recurrent Reachability Objectives
AU  - David Klaška
AU  - Antonín Kučera
AU  - Vít Musil
AU  - Vojtěch Řehák
PY  - 2022
UR  - https://arxiv.org/abs/2205.14057
ID  - 2205.14057
ER  -