Active Learning of One-Clock Timed Automata Using Constraint Solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Runqing Xu, Jie An, Bohua Zhan. Active Learning of One-Clock Timed Automata Using Constraint Solving. In Ahmed Bouajjani, Lukás Holík, Zhilin Wu, editors, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Volume 13505 of Lecture Notes in Computer Science, pages 249-265, Springer, 2022. [doi]

This author has not been identified. Look up 'Runqing Xu' in GoogleThis author has not been identified. Look up 'Jie An' in GoogleThis author has not been identified. Look up 'Bohua Zhan' in Google

runs on WebDSL