Project information
Modelování, analýza a verifikace (2023) (MAV-2023)

Information

This project doesn't include Faculty of Science. It includes Faculty of Informatics. Official project website can be found on muni.cz.

Project Identification

MUNI/A/1081/2022

Project Period

1/2023 - 12/2023

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. Deniz Agaoglu Cagirici, Ph.D.
RNDr. Michal Ajdarów
Cem Emre Akbas
Mgr. Jakub Balabán
prof. RNDr. Jiří Barnat, Ph.D.
Ing. Dávid Bolvanský
prof. RNDr. Luboš Brim, CSc.
Nikomidisz Jorgosz Eftimiu, M.Sc.
prof. RNDr. Petr Hliněný, Ph.D.
Mgr. Lucia Hradecká
Bc. Ondřej Huvar
RNDr. Miroslav Chodil
Mgr. Daniel Iľkovič
Mgr. Marek Jankola
Mgr. Jan Jedelský
RNDr. David Klaška
prof. RNDr. Michal Kozubek, Ph.D.
prof. RNDr. Daniel Kráľ, Ph.D., DSc.
prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
prof. RNDr. Antonín Kučera, Ph.D.
RNDr. Henrich Lauko, Ph.D.
RNDr. Filip Lux
Mgr. Tomáš Macháček
doc. RNDr. Martin Maška, Ph.D.
doc. RNDr. Petr Matula, Ph.D.
Aleksandra Melnikova
Mgr. Vincent Mihalkovič
Shubhang Mittal
Mgr. Radoslav Mráz
RNDr. Jan Mrázek
Bc. Daniel Múčka
RNDr. Tereza Nečasová
RNDr. Petra Němcová
Mgr. Jakub Novák
doc. Mgr. Jan Obdržálek, PhD.
Mgr. et Mgr. Jaroslav Oľha
Mgr. Patrick Ondika
Mgr. Anna Pačínková, Ph.D.
RNDr. Kristýna Pekárková
RNDr. Filip Pokrývka
Maximilian Prokop, M.Sc.
Mgr. Xichao Shu
Mgr. Zuzana Schwarzová
RNDr. Viktória Spišaková
RNDr. Eva Šmijáková
RNDr. Matej Troják, Ph.D.
Mgr. Jan Tušil
RNDr. David Wiesner, Ph.D.

Cílem projektu je podpora vědecko-výzkumné a vývojové činnosti studentů doktorského a magisterského studia na FI MU. Projekt navazuje na výsledky projektů specifického výzkumu z let 2010-2022 a dále je rozvíjí. Navrhovaný projekt si klade za cíl podpořit VaV aktivity zúčastněných studentů a dle zaměření i spolupráci s průmyslovými partnery v centru CERIT. Zejmená 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 a softwarově intenzivní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 obrazu, a to včetně nově vyvíjených metod analýzy a jejich validace. Výzkum v této oblasti je na aplikační úrovni provázán na využívání rozsáhlých výpočetních systémů (cloud-computing) a moderních paralelních architektur (GPGPU computing a multi GPU computing).

Projekt zejména pokrývá aktivity vedené pracovníky z Katedry teorie programování a dvou výzkumných skupin: CBIA (analýza biomedicínského obrazu) a SITOLA (intenzitní výpočty v rozsáhlých sítích).

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: 28

2023

Sparse Graphs of Twin-width 2 Have Bounded Tree-width

BERGOUGNOUX Benjamin GAJARSKÝ Jakub GUSPIEL Grzegorz Jan HLINĚNÝ Petr POKRÝVKA Filip SOKOŁOWSKI Marek

Article in Proceedings

ISAAC 2023, year: 2023
Stack and Queue Numbers of Graphs Revisited

HLINĚNÝ Petr STRAKA Adam

Article in Proceedings

European Conference on Combinatorics, Graph Theory and Applications EUROCOMB’23, year: 2023
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems

KLAŠKA David KUČERA Antonín KUREČKA Martin MUSIL Vít NOVOTNÝ Petr ŘEHÁK Vojtěch

Article in Proceedings

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, year: 2023
Temporary and Permanent Control of Partially Specified Boolean Networks

BRIM Luboš PASTVA Samuel ŠAFRÁNEK David ŠMIJÁKOVÁ Eva

Article in Periodical

BIOSYSTEMS, year: 2023, volume: 223, edition: JAN, DOI
Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics

MRÁZEK Jan ONDIKA Patrick ČERNÁ Ivana BARNAT Jiří

Article in Proceedings

2023 IEEE International Conference on Robotics and Automation (ICRA), year: 2023
The Cell Tracking Challenge: 10 years of objective benchmarking

MAŠKA Martin ULMAN Vladimír DELGADO-RODRIGUEZ Pablo GÓMEZ-DE-MARISCAL Estibaliz NEČASOVÁ Tereza PENA Fidel A Guerrero REN Tsang Ing MEYEROWITZ Elliot M SCHERR Tim LÖFFLER Katharina MIKUT Ralf GUO Tianqi WANG Yin ALLEBACH Jan P BAO Rina AL-SHAKARJI Noor M RAHMON Gani TOUBAL Imad Eddine PALANIAPPAN Kannappan LUX Filip MATULA Petr SUGAWARA Ko MAGNUSSON Klas E G AHO Layton COHEN Andrew R ARBELLE Assaf BEN-HAIM Tal RAVIV Tammy Riklin ISENSEE Fabian JÄGER Paul F MAIER-HEIN Klaus H ZHU Yanming EDERRA Cristina URBIOLA Ainhoa MEIJERING Erik CUNHA Alexandre MUNOZ-BARRUTIA Arrate KOZUBEK Michal ORTIZ-DE-SOLÓRZANO Carlos

Article in Periodical

Nature Methods, year: 2023, volume: 20, edition: 7, DOI
Twin-width of Planar Graphs is at most 8, and at most 6 when Bipartite Planar

HLINĚNÝ Petr JEDELSKÝ Jan

Article in Proceedings

50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), year: 2023
UNIFORM TURAN DENSITY OF CYCLES

BUCIC Matija COOPER Jacob KRÁĽ Daniel MOHR Samuel CORREIA David Munha

Article in Periodical

Transactions of the American Mathematical Society, year: 2023, volume: 376, edition: 7, DOI