Learning timed automata from interaction traces
autor
Vain, Jüri
Kanter, Gert
Anier, Aivo
vastutusandmed
J. Vain, G. Kanter, A. Anier
allikas
IFAC-PapersOnLine
ajakirja aastakäik number kuu
vol. 52, 19
ilmumisaasta
2019
leheküljed
p. 205-210
konverentsi nimetus, aeg
14th IFAC Symposium on Analysis, Design, and Evaluation of Human Machine Systems HMS 2019, 16–91 September 2019
konverentsi toimumispaik
Tallinn, Estonia
leitav
https://doi.org/10.1016/j.ifacol.2019.12.097
märksõna
tehisõpe
matemaatiline modelleerimine
inimene-masin-süsteemid
mudelipõhine tarkvaraarendus
võtmesõna
machine learning
timed automata
human-machine interaction
leader election protocol
load testing
ISSN
2405-8963
märkused
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
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
Scopus
Conference proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kategooria (üld)
Engineering
en
Tehnika
et
kategooria (alam)
Engineering. Control and systems engineering
en
Tehnika. Juhtimis- ja süsteemitehnika
et
kvartiil
Q3
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium