This is a contact course based on assigned reading for the PhD students. The objective of this course is to explore modeling and analysis of systems of autonomous agents. Several paradigms of multi- agent reasoning like quantitative reasoning, normative reasoning etc., are also introduced