Projekt

Laufzeitverifikation für Vertrauenswürdige KI

Safe Reinforcement Learning, Shielded Reinforcement Learning, Explainable Artificial Intelligence, Fair Sequential Decision Making, Runtime Verification, Probabilistic Model Checking, Naturwissenschaften, Informatik, Artificial Intelligence, Human-Computer Interaction, Machine Learning, Theoretische Informatik

• Safe Reinforcement Learning
• Shielded Reinforcement Learning
• Explainable Artificial Intelligence
• Fair Sequential Decision Making
• Runtime Verification
• Probabilistic Model Checking
• Naturwissenschaften
• Informatik