Differentially Private Controller Synthesis With Metric Temporal Logic Specifications.

Zhe Xu Kasra Yazdani Matthew T. Hale Ufuk Topcu

Published in: CoRR (2019)

Keyphrases

differentially private
metric temporal logic
controller synthesis
autonomic computing systems
differential privacy
closed loop
control system
control algorithm
multi agent
contingency tables
autonomic systems
machine learning
privacy preserving