Rong Wang, Junfeng Wang. Generation of FAO System Test Sequence Based on UPPAAL and Improved Backtracking Algorithm. In 24th IEEE International Intelligent Transportation Systems Conference, ITSC 2021, Indianapolis, IN, USA, September 19-22, 2021. pages 1786-1791, IEEE, 2021. [doi]
Abstract is missing.