L*-Based Learning of Probabilistic Timed Automata with One Clock (S).

Rong Wu

Browse the full SEKE paper archive.