Informatik (Computer Science)

Name	Course Type	Name	Credits	ID
Advanced Machine Learning	() Vorlesung	Advanced Machine Learning	6	450225
Computer Vision	() Vorlesung/Übung	Computer Vision	6	447211
Model Checking	() Vorlesung	Introduction to Model Checking	6	455138
Model Checking	() Übung	Introduction to Model Checking	0	455137
Formale Systeme, Automaten, Prozesse	() Vorlesung	Formale Systeme, Automaten, Prozesse	6	446879
	() Tutorium	Formale Systeme, Automaten, Prozesse - Tutorium	0	449177
	() Übung	Formale Systeme, Automaten, Prozesse (Globalübung)	0	450076
Reinforcement Learning and Learning-based Control	() Vorlesung	Reinforcement Learning and Learning-based Control		455192
Reinforcement Learning and Learning-based Control	() Übung	Reinforcement Learning and Learning-based Control		455193