prindi

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)
Tehnika
kategooria (alam)
Tehnika. Juhtimis- ja süsteemitehnika
kvartiil
Q3
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
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