Mining Time for Timed Regular Specifications

Apurva Narayan, Sebastian Fischmeister. Mining Time for Timed Regular Specifications. In 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019. pages 63-69, IEEE, 2019. [doi]

Abstract

Abstract is missing.