Login / Signup

Deductive Controller Synthesis for Probabilistic Hyperproperties.

Roman AndriushchenkoEzio BartocciMilan CeskaFrancesco PontiggiaSarah Sallinger
Published in: QEST (2023)
Keyphrases
  • controller synthesis
  • autonomic computing systems
  • fuzzy logic
  • control algorithm
  • closed loop
  • computing systems