Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems

  • 1738103
  • 2018
  • CPS-PI Meeting 2018
  • Presentation
  • Session 2: LT
Submitted by Stephane Lafortune on Tue, 12/04/2018 - 15:53