Introduction Formal Methods for Strategic Decision-making
Name
:
Formal methods for strategic decision-making
Period
:
Q2
EC
:
2.5
Educational method(s)
:
Lectures and workshops
Course code
:
WM
Lecturers
:
Dr. F. Yang, dr. S. Frittella, dr. G. Greco, dr. A. Palmigiano
Contribution of course to objectives
:
Course provides formal methods to describe and understand strategic decision-making in…