The Learning in Verification group (LiVe Lab) focuses on the interactions of machine learning and verification. Our research includes Explainable AI, Verification of Neural Networks, Stochastic Games and Control, Probabilistic Model Checking, Temporal Logics (mainly LTL, PCTL), and Automata Theory. Our research is applicable in the Robotics, Biomedical, and Automotive domains. The team is distributed between the Masaryk University Brno, Czech Republic, and the Technical University of Munich, Germany.
Learning in Verification Group (LiVe Lab)
- IndustryAviation & Space, Information & Communication Technologies, Transportation, Mobility & Logistics
- InstitutionMasaryk University
- Faculty / InstituteFaculty of Informatics
- Research typeApplied, Basic
- Research areaAI for Science, Automated Planning, Scheduling & Optimisation, Explainable & Trustworthy AI, Formal Methods in AI, Interdisciplinary, Multi-Agent Systems and Game Theory, Reinforcement Learning, Theoretical Computer Science
Group head
Jan Křetínský, GS
Explainable AI and Verification of Neural Networks, Stochastic Games and Control, Probabilistic Model Checking, Temporal Logics, Automata Theory, Decision Making under Uncertainty, Markov Decision Processes, Decision Trees
- ContactJan Křetínský
- Email139914@mail.muni.cz
- Websitehttps://live-lab.fi.muni.cz/
- AddressBotanická 68a, 602 00 Brno