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á
- Mgr. 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č
- Mgr. 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á
- Bc. Václav Nevyhoštěný
- doc. RNDr. Petr Novotný, Ph.D.
- Mgr. Patrick Ondika
- RNDr. Kristýna Pekárková, Ph.D.
- Bc. 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
- Bc. Adéla Štěpková
- Bc. Vladimír Uhlík
- Bc. 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
-
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, year: 2025
-
Bio-Volumentations
Year: 2025
-
Bio-Volumentations: A Python library for augmentation of volumetric image sequences
SOFTWAREX, year: 2025, volume: 30, edition: 102151, DOI
-
DeepFuse: A multi-rater fusion and refinement network for computing silver-standard annotations
Computers in Biology and Medicine, year: 2025, volume: 192, edition: Part A, DOI
-
Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation
International Conference on Runtime Verification, year: 2025
-
On Complementation of Nondeterministic Finite Automata Without Full Determinization
Fundamentals of Computation Theory - 25th International Symposium, FCT 2025, Wrocław, Poland, September 15-17, 2025, Proceedings, year: 2025
-
Online Knapsack Problems with Estimates
50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), year: 2025
-
SAVAT: A Tool for Visualizing the Impact of Changes in Microservices
Proc. of 19th European Conference on Software Architecture – ECSA'25, year: 2025
-
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025., year: 2025
-
Shape-Aware Topology-preserving Means (SATM) method for shape fusion
Year: 2025