← Back to research groups

Learning in Verification Group (LiVe Lab)

Research groups

live-lab.fi.muni.cz

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.

Industry
  • Aviation & Space
  • Information & Communication Technologies
  • Transportation, Mobility & Logistics
Research areas
  • AI for Science
  • Automated Planning, Scheduling & Optimisation
  • Explainable AI
  • Formal Methods in AI
  • Interdisciplinary
  • Multi-Agent Systems and Game Theory
  • Reinforcement Learning
  • Theoretical Computer Science
Website More on ceska.ai