Sign in

Deductive Controller Synthesis for Probabilistic Hyperproperties.

Roman AndriushchenkoEzio BartocciMilan CeskaFrancesco PontiggiaSarah Sallinger
Published in: CoRR (2023)
Keyphrases
  • controller synthesis
  • autonomic computing systems
  • control algorithm
  • real time
  • control system
  • fuzzy sets
  • computer simulation
  • closed loop