Projects
-
2020
CAQTUS - CAQtuS: Computer-Aided Quantitative Synthesis, GACR, GJ20-02328Y, 2020-2022, completed, start: 2020-01-01, end: 2022-12-31
DetailReliable, Secure, and Efficient Computer Systems, BUT, FIT-S-20-6427, 2020-2022, completed, start: 2020-03-01, end: 2022-12-31
Detail -
2019
AUTODEV - Automata for Decision Procedures and Verification, GACR, GA19-24397S, 2019-2021, completed, start: 2019-01-01, end: 2021-12-31
DetailFramework of key enabling technologies for safe and autonomous drones´ applications, ECSEL JU, 8A19003, 826610, 2019-2023, completed, start: 2019-10-01, end: 2023-01-31
Detail