Login / Signup

Formal Controller Synthesis from Hybrid Programs.

Vladimir SinyakovAntoine Girard
Published in: HSCC (2018)
Keyphrases
  • controller synthesis
  • autonomic computing systems
  • closed loop
  • multi agent