Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis. - Kengo Kuwana; Kenji Tei; Yoshiaki Fukazawa; Shinichi Honiden (AIKE, 2020)