Projekt

RAVENS

Runtime Monitoring, Formal Verification, Learning-based Control, Reinforcement Learning, Signal logic, Certification, Naturwissenschaften, Informatik, Formale Sprachen, Machine Learning, Theoretische Informatik, Cyber-Physical Systems

• Runtime Monitoring
• Formal Verification
• Learning-based Control
• Reinforcement Learning
• Signal logic
• Certification
• Naturwissenschaften
• Informatik