Login / Signup

Contract-Based Distributed Logical Controller Synthesis.

Ashwani AnandAnne-Kathrin SchmuckSatya Prakash Nayak
Published in: HSCC (2024)
Keyphrases
  • controller synthesis
  • multi agent
  • closed loop
  • autonomic computing systems
  • computing environments