Bengt Lennartson, Xudong Liang, Mona Noori Hosseini. Efficient Temporal Logic Verification by Incremental Abstraction. In 16th IEEE International Conference on Automation Science and Engineering, CASE 2020, Hong Kong, August 20-21, 2020. pages 894-899, IEEE, 2020. [doi]
Abstract is missing.