ICAPS 2012: Invited talk by George Pappas