Secure-by-Construction Synthesis of Cyber-Physical Systems

14 February 2022

Papers citing "Secure-by-Construction Synthesis of Cyber-Physical Systems"

5 / 5 papers shown

Title
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 24 17 0 20 Feb 2024
Efficient Avoidance of Vulnerabilities in Auto-completed Smart Contract Code Using Vulnerability-constrained Decoding André Storhaug Jingyue Li Tianyuan Hu AAML 15 14 0 18 Sep 2023
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning Abolfazl Lavaei F. Somenzi Sadegh Soudjani Ashutosh Trivedi Majid Zamani 55 52 0 02 Mar 2020
Privacy preserving distributed optimization using homomorphic encryption Yang Lu Minghui Zhu 23 159 0 01 May 2018
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016