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

Submitted by Anonymous on
  • Short Talk
  • 1738103
  • CPS PI Meeting 2021
  • NSF