Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden. Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis. In 3rd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2020, Laguna Hills, CA, USA, December 9-13, 2020. pages 168-173, IEEE, 2020. [doi]
Abstract is missing.