mgreenblog

Posts in the category "Temporal Logic and Verification"

1. A Balance of Power: Expressive, Analyzable Controller Programming Thursday, January 30, 2014
   PL meets networking meets the very stench of Hades.
2. Program synthesis talk Saturday, June 24, 2006
   I reflect on a rather poor in-class presentation.