Differentially Private Controller Synthesis With Metric Temporal Logic
Specifications

Differentially Private Controller Synthesis With Metric Temporal Logic Specifications

29 September 2019

Matthew T. Hale

Ufuk Topcu

ArXiv (abs)PDF HTML

Papers citing "Differentially Private Controller Synthesis With Metric Temporal Logic Specifications"

6 / 6 papers shown

Title
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 72 19 0 20 Feb 2024
Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic Zhe Xu Xiaoming Duan 22 2 0 26 Mar 2021
Privacy-Preserving Resilience of Cyber-Physical Systems to Adversaries Bhaskar Ramasubramanian Luyao Niu Andrew Clark L. Bushnell Radha Poovendran 34 6 0 27 Jul 2020
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications Murat Cubuktepe Zhe Xu Ufuk Topcu 24 2 0 25 Jun 2020
Differentially Private Formation Control C. Hawkins Matthew T. Hale 50 18 0 06 Apr 2020
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex Parham Gohari Bo Wu Matthew T. Hale Ufuk Topcu 38 4 0 30 Sep 2019