Login / Signup

Runtime Verification Meets Controller Synthesis.

Shaun AzzopardiNir PitermanGerardo Schneider
Published in: ISoLA (1) (2022)
Keyphrases
  • controller synthesis
  • autonomic computing systems
  • closed loop
  • control system
  • multi agent
  • control algorithm
  • autonomic systems
  • real time
  • neural network
  • genetic algorithm
  • dynamic programming
  • dynamical systems