A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems

  • 0932397
  • Seoul National University
  • SRI International
  • University of Pennsylvania
  • National CPS PI Meeting 2011
  • Poster
  • Academia
  • Poster Session: Day 1
Submitted by Mark-Oliver Stehr on