Active Learning of One-Clock Timed Automata Using Constraint Solving.

Runqing Xu, Jie An, Bohua Zhan

Browse the full ATVA paper archive.