Project information
MUNI Award in Science and Humanities
(Křetínský)
- Project Identification
- MUNI/I/1757/2021
- Project Period
- 4/2023 - 3/2028
- Investor / Pogramme / Project type
-
Masaryk University
- Grant Agency of Masaryk University
- MASH - MUNI Award in Science and Humanities
- MU Faculty or unit
-
Faculty of Informatics
- prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
- Debraj Chakraborty
- Sudeep Kanav, M.Sc.
- Mohammadsadegh Mohagheghi, PhD
Hlavním cílem MUNI Award in Science and Humanities (dále jen MASH) je přivést na Masarykovu univerzitu vynikající a úspěšné externí vědce a nabídnout jim takové podmínky, aby měli motivaci zůstat, pracovat pro Masarykovu univerzitu a dlouhodobě vytvářet mimořádně kvalitní vědecké výsledky.
Prostřednictvím zaměstnávání osobností s transformativním potenciálem dojde také k ukotvení špičkových vědeckých týmů na MU.
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: 11
2025
-
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
VMCAI 2025, 26th International Conference on Verification, Model Checking, and Abstract Interpretation, year: 2025
-
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, year: 2025, number of pages: 27 s.
2024
-
Abstraction-based segmental simulation of reaction networks using adaptive memoization
BMC Bioinformatics, year: 2024, volume: 25, edition: 350, DOI
-
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
RV 2024, 24th International Conference on Runtime Verification, year: 2024
-
Learning Explainable and Better Performing Representations of POMDP Strategies
TACAS 2024, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, year: 2024
-
Monitizer: Automating Design and Evaluation of Neural Network Monitors
CAV 2024, International Conference on Computer Aided Verification, year: 2024
-
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, year: 2024
-
Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, year: 2024
-
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+FORMATS 2024, year: 2024
-
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
ECAI 2024, 27th European Conference on Artificial Intelligence, year: 2024