POSTER: A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems Download pdf Tags: 0932397 SRI International Poster Academia License: CC-2.5 Submitted by Carolyn Talcott on Wed, 09/01/2010 - 14:34