Projects
-
2024
Verification and Analysis for Safety and Security of Applications in Life, EC EU - HORIZON EUROPE, SEP-210979090, SEP-210979090, 2024-2027, running, start: 2024-06-01, end: 2027-05-31
Detail -
2023
VESCAA: Verifiable and Efficient Synthesis of Agent Controllers, GACR, GA23-06963S, 2023-2025, running, start: 2023-03-01, end: 2025-12-31
Detail -
2020
CAQTUS - CAQtuS: Computer-Aided Quantitative Synthesis, GACR, GJ20-02328Y, 2020-2022, completed, start: 2020-01-01, end: 2022-12-31
DetailEfficient Finite Automata for Automated Reasoning, MŠMT CR, LL1908, 2020-2024, running, start: 2020-01-01, end: 2024-12-31
Detail