Hadi Hemmati, Syed S. Arefin, Taha R. Siddiqui. Analytics-based safety monitoring and verification. In 2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017, Banff, AB, Canada, October 5-8, 2017. pages 3608-3613, IEEE, 2017. [doi]
Abstract is missing.