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)
Engineering
en
Tehnika
et
category (sub)
Engineering. Control and systems engineering
en
Tehnika. Juhtimis- ja süsteemitehnika
et
kvartiil
Q3
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory