print

Learning timed automata from interaction traces

author
Vain, Jüri
Kanter, Gert
Anier, Aivo
statement of authorship
J. Vain, G. Kanter, A. Anier
source
IFAC-PapersOnLine
journal volume number month
vol. 52, 19
year of publication
2019
pages
p. 205-210
conference name, date
14th IFAC Symposium on Analysis, Design, and Evaluation of Human Machine Systems HMS 2019, 16–91 September 2019
conference location
Tallinn, Estonia
url
https://doi.org/10.1016/j.ifacol.2019.12.097
subject term
tehisõpe
matemaatiline modelleerimine
inimene-masin-süsteemid
mudelipõhine tarkvaraarendus
keyword
machine learning
timed automata
human-machine interaction
leader election protocol
load testing
ISSN
2405-8963
notes
Bibliogr. p. 210
Special issue: 14th IFAC Symposium on Analysis, Design, and Evaluation of Human Machine Systems HMS 2019: Tallinn, Estonia, 16–91 September 2019
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
Scopus
Conference proceedings at Scopus
Article at Scopus
WOS
Article at WOS
category (general)
Tehnika
category (sub)
Tehnika. Juhtimis- ja süsteemitehnika
kvartiil
Q3
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory
Vain, J., Kanter, G., Anier, A. Learning timed automata from interaction traces // IFAC-PapersOnLine (2019) vol. 52, 19, p. 205-210. https://doi.org/10.1016/j.ifacol.2019.12.097