Formal Methods in AI-Based Systems Engineering, part 2

2022/2023 edition

Sapienza course ID: 10607006
Number of credits: 6 (part 2 will roughly account for 3 credits)

	Course programme, prerequisites, objectives
	Timetable
	Lecture notes
	Schedule and log of classes and other activities
	The exam: regulations and dates
	Assistance to students (questions and office hours)
	Send me an anonymous comment

[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]