Informace o projektu
Modelování, analýza a verifikace (2025)
- Kód projektu
- MUNI/A/1600/2024
- Období řešení
- 1/2025 - 12/2025
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Specifický výzkum - podpora studentských projektů
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- doc. RNDr. David Svoboda, Ph.D.
- RNDr. Michal Ajdarów, Ph.D.
- Cem Emre Akbas
- Mgr. Paulína Ayaziová
- RNDr. Jakub Balabán
- prof. RNDr. Jiří Barnat, Ph.D.
- Florian Sebastian Dorfhuber, M.Sc.
- Bc. Martin Dražkovec
- Nikomidisz Jorgosz Eftimiu, M.Sc.
- prof. RNDr. Petr Hliněný, Ph.D.
- Bc. Ondřej Hložek
- Mgr. Lucia Hradecká
- Mgr. Ondřej Huvar
- RNDr. Miroslav Chodil
- Mgr. Daniel Iľkovič
- RNDr. Jan Jedelský
- Bc. Stanislav Jurík
- Bc. Adam Kattan Rahmani
- Mgr. Robert Konicar
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
- Mgr. Petr Kubica
- prof. RNDr. Antonín Kučera, Ph.D.
- Bc. Vojtěch Kůr
- Mgr. Martin Kurečka
- Mgr. Ondrej Kužlík
- RNDr. Filip Lux
- Mgr. Jan Mačák
- Mgr. Juraj Major
- Mgr. Lukáš Málik
- doc. RNDr. Martin Maška, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- Aleksandra Melnikova
- RNDr. Tereza Nečasová
- Mgr. Václav Nevyhoštěný
- doc. RNDr. Petr Novotný, Ph.D.
- Mgr. Patrick Ondika
- RNDr. Kristýna Pekárková, Ph.D.
- Mgr. Bruno Petrus
- Maximilian Prokop, M.Sc.
- Sabine Rieder, M.Sc.
- Mgr. Adam Straka
- prof. RNDr. Jan Strejček, Ph.D.
- doc. RNDr. David Šafránek, Ph.D.
- Mgr. Jakub Šárník
- Mgr. Adéla Štěpková
- Bc. Vladimír Uhlík
- Mgr. Vít Unčovský
- Mgr. Adam Vondráček
Projekt specifického výzkumu si klade za cíl podpořit výzkumné aktivity studentů doktorského a magisterského studia na FI MU. Projekt navazuje na výsledky projektů specifického výzkumu z let 2010-2024 a dále je rozšiřuje. Navrhovaný projekt bude podporovat výzkumnou činnost zúčastněných studentů. Umožní jim vycestovat na zahraniční partnerská pracoviště či absolvovat vhodná školení a letní kurzy s cílem nabytí nových zkušeností. Zejména se jedná o výzkum a vývoj v oblastech použití formálních metod při modelování, analýze a verifikaci systémů: klasických a zejména náhodných systémů i nekonečně stavových, komplexních systémů a dalších i přírodně motivovaných systémů, zejména biologických. S biologií je rovněž úzce spjata další výzkumná oblast, jíž je analýza biomedicínského a medicínského obrazu, a to včetně nově vyvíjených metod analýzy a jejich ověřování.
Projekt zejména pokrývá aktivity vedené pracovníky z Katedry teorie programování a z části Katedry vizuální informatiky
Cíle udržitelného rozvoje
Masarykova univerzita se hlásí k cílům udržitelného rozvoje OSN, jejichž záměrem je do roku 2030 zlepšit podmínky a kvalitu života na naší planetě.
Publikace
Počet publikací: 19
2025
-
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025., rok: 2025
-
Shape-Aware Topology-preserving Means (SATM) method for shape fusion
Rok: 2025
-
Software Verification Witnesses 2.0
Model Checking Software - 30th International Symposium, SPIN 2024, rok: 2025
-
Solving Partial Dominating Set and Related Problems Using Twin-Width
50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), rok: 2025
-
Study of Shape Fusion Algorithms for 3D Time-Lapse Microscopy
Proceedings - International Symposium on Biomedical Imaging, rok: 2025
-
The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic Are Highly Undecidable
52nd International Colloquium on Automata, Languages, and Programming, rok: 2025
-
Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves
Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence and Thirty-Seventh Conference on Innovative Applications of Artificial Intelligence and Fifteenth Symposium on Educational Advances in Artificial Intelligence, rok: 2025
-
Topology-preserving contourwise shape fusion
Nature Scientific Reports, rok: 2025, ročník: 15, vydání: 10713, DOI
-
Transductions of Graph Classes Admitting Product Structure
40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), rok: 2025