Project information
Modeling, analysis, and verification (2025)
- Project Identification
- MUNI/A/1600/2024
- Project Period
- 1/2025 - 12/2025
- Investor / Pogramme / Project type
-
Masaryk University
- Specific research - support for student projects
- MU Faculty or unit
-
Faculty of Informatics
- 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
Sustainable Development Goals
Masaryk University is committed to the UN Sustainable Development Goals, which aim to improve the conditions and quality of life on our planet by 2030.
Publications
Total number of publications: 18
2025
-
Software Verification Witnesses 2.0
Model Checking Software - 30th International Symposium, SPIN 2024, year: 2025
-
Solving Partial Dominating Set and Related Problems Using Twin-Width
50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), year: 2025
-
Study of Shape Fusion Algorithms for 3D Time-Lapse Microscopy
Proceedings - International Symposium on Biomedical Imaging, year: 2025
-
The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic Are Highly Undecidable
52nd International Colloquium on Automata, Languages, and Programming, year: 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, year: 2025
-
Topology-preserving contourwise shape fusion
Nature Scientific Reports, year: 2025, volume: 15, edition: 10713, DOI
-
Transductions of Graph Classes Admitting Product Structure
40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2025
2024
-
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
RV 2024, 24th International Conference on Runtime Verification, year: 2024