Informace o projektu
MUNI Award in Science and Humanities
(Křetínský)
- Kód projektu
- MUNI/I/1757/2021
- Období řešení
- 4/2023 - 3/2028
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Grantová agentura MU
- MASH - MUNI Award in Science and Humanities
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- 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.
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í: 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, rok: 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, rok: 2025, počet stran: 27 s.
2024
-
Abstraction-based segmental simulation of reaction networks using adaptive memoization
BMC Bioinformatics, rok: 2024, ročník: 25, vydání: 350, DOI
-
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
RV 2024, 24th International Conference on Runtime Verification, rok: 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, rok: 2024
-
Monitizer: Automating Design and Evaluation of Neural Network Monitors
CAV 2024, International Conference on Computer Aided Verification, rok: 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, rok: 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, rok: 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, rok: 2024
-
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
ECAI 2024, 27th European Conference on Artificial Intelligence, rok: 2024