Detail výsledku
Register Automata with Linear Arithmetic
LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. Register Automata with Linear Arithmetic. arXiv:1704.03972: 2017. p. 1-30.
Typ
zpráva odborná
Jazyk
anglicky
Autoři
URL
Rok
2017
Strany
1–30
Místo
arXiv:1704.03972
BibTeX
@misc{BUT169472,
author="Ondřej {Lengál} and Yu-Fang {Chen} and Tony {Tan} and Zhilin {Wu}",
title="Register Automata with Linear Arithmetic",
year="2017",
pages="1--30",
address="arXiv:1704.03972",
url="https://arxiv.org/pdf/1704.03972.pdf"
}
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
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
ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR, Standardní projekty, GA17-12465S, zahájení: 2017-01-01, ukončení: 2019-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
ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR, Standardní projekty, GA17-12465S, zahájení: 2017-01-01, ukončení: 2019-12-31, ukončen
Výzkumné skupiny
Pracoviště
Ústav inteligentních systémů
(UITS)