Learning One-Clock Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang. Learning One-Clock Timed Automata. In Armin Biere, David Parker 0001, editors, Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I. Volume 12078 of Lecture Notes in Computer Science, pages 444-462, Springer, 2020. [doi]

This author has not been identified. Look up 'Jie An' in GoogleThis author has not been identified. Look up 'Mingshuai Chen' in GoogleThis author has not been identified. Look up 'Bohua Zhan' in GoogleThis author has not been identified. Look up 'Naijun Zhan' in GoogleThis author has not been identified. Look up 'Miaomiao Zhang' in Google

runs on WebDSL