Learning timed automata from interaction traces
Vain, Jüri
;
Kanter, Gert
;
Anier, Aivo
IFAC-PapersOnLine
2019
/
p. 205-210
https://doi.org/10.1016/j.ifacol.2019.12.097
https://www.scopus.com/sourceid/21100456158
https://www.scopus.com/record/display.uri?eid=2-s2.0-85079654091&origin=inward&txGid=2f98d8f5808bbc874dc089e4c48c4732
https://www.webofscience.com/wos/woscc/full-record/WOS:000504294500036