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
https://www.scopus.com/sourceid/21100456158
https://www.scopus.com/record/display.uri?eid=2-s2.0-85079654091&origin=inward&txGid=2f98d8f5808bbc874dc089e4c48c4732
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000504294500036
category (general)
Engineering
Tehnika
category (sub)
Engineering. Control and systems engineering
Tehnika. Juhtimis- ja süsteemitehnika
quartile
Q3
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory