  Thesis title |
Year of announcement |
Year of defence |
Thesis type | Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department | Faculty | |
 |
Branching loop summarization | 2020/2021 | 2020/2021 | diploma thesis | ISS | Mgr. Martin Blicha, Ph.D. | hidden |
08.10.2020 | 09.02.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
IC3 with Implicit Predicate Abstraction for Golem Horn solver | 2023/2024 | Bachelor's thesis | Mgr. Martin Blicha, Ph.D. | 03.10.2022 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |||
|
Using Constrained Horn Clauses for Hierarchical Planning | 2020/2021 | 2020/2021 | Bachelor's thesis | Mgr. Martin Blicha, Ph.D. | Bc. Marián Kažimír | 27.01.2021 | 29.01.2021 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Bit-vector solver for OpenSMT | 2023/2024 | diploma thesis | Mgr. Martin Blicha, Ph.D. | 08.10.2020 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
Results 1-4 of 4 1