Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems Submitted by Herbert Tanner on Sun, 02/14/2016 - 20:32 LTL control synthesis learning grammatical inference game theory Boston University University of Delaware Education Foundations Control Modeling 2015 National CPS PI Meeting 2015 Academia