Detail výsledku
Simulation Algorithms for Symbolic Automata (Technical Report)
HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca: 2018. p. 1-23.
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D., UITS (FIT)
Lengál Ondřej, doc. Ing., Ph.D., UITS (FIT)
Síč Juraj, Mgr.
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Veanes Margus
Lengál Ondřej, doc. Ing., Ph.D., UITS (FIT)
Síč Juraj, Mgr.
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Veanes Margus
URL
Rok
2018
Strany
1–23
Místo
Ithaca
BibTeX
@misc{BUT161934,
author="Lukáš {Holík} and Ondřej {Lengál} and Juraj {Síč} and Tomáš {Vojnar} and Margus {Veanes}",
title="Simulation Algorithms for Symbolic Automata (Technical Report)",
year="2018",
pages="1--23",
address="Ithaca",
url="https://arxiv.org/abs/1807.08487"
}
Soubory
Projekty
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen
Efektivní automaty pro formální rozhodování, GAČR, Juniorské granty, GJ16-24707Y, zahájení: 2016-01-01, ukončení: 2018-12-31, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Přibližná ekvivalence pro aproximativní počítání, GAČR, Standardní projekty, GA16-17538S, zahájení: 2016-01-01, ukončení: 2018-12-31, ukončen
Efektivní automaty pro formální rozhodování, GAČR, Juniorské granty, GJ16-24707Y, zahájení: 2016-01-01, ukončení: 2018-12-31, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Přibližná ekvivalence pro aproximativní počítání, GAČR, Standardní projekty, GA16-17538S, zahájení: 2016-01-01, ukončení: 2018-12-31, ukončen
Výzkumné skupiny
Pracoviště
Ústav inteligentních systémů
(UITS)