• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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