Login / Signup

Formal Design and Verification of Self-Adaptive Systems with Decentralized Control.

Paolo ArcainiElvinia RiccobenePatrizia Scandurra
Published in: ACM Trans. Auton. Adapt. Syst. (2017)
Keyphrases
  • formal methods
  • decentralized control
  • distributed systems
  • multiagent systems
  • markov decision processes
  • goal oriented
  • control system
  • management system