The Learning Algorithm of Real-Time Automata | IEEE Conference Publication | IEEE Xplore