On-the-fly informed search of non-blocking directed controllers. - Daniel Ciolek; Matias Duran; Florencia Zanollo; Nicolas Pazos; Julián Braier; Víctor A. Braberman; Nicolás D'Ippolito; Sebastián Uchitel (Autom., 2023)