Laya Shamgah, Tadewos G. Tadewos, Ali Karimoddini, Abdollah Homaifar. A Symbolic Approach for Multi-target Dynamic Reach-avoid Problem. In 14th IEEE International Conference on Control and Automation, ICCA 2018, Anchorage, AK, USA, June 12-15, 2018. pages 1022-1027, IEEE, 2018. [doi]
Abstract is missing.