Model Thinking - automata-based logics applied to real world

[kram1032]

This course is awesome! The first section, the introduction is a tad boring - it focuses on why you would even be interested in this kind of course - but the sections after that are really interesting, showing a wide variety of models and what they tell you of the world.
The goal is to teach you how to come up with such models.

https://www.coursera.org/course/modelthinking - course description
https://class.coursera.org/modelthinking/lecture/preview - course