Secure-by-Construction Synthesis of Cyber-Physical Systems

14 February 2022

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

6 / 6 papers shown

Title
InstaHide: Instance-hiding Schemes for Private Distributed Learning Yangsibo Huang Zhao Song Keqin Li Sanjeev Arora FedML PICV 56 150 0 06 Oct 2020
Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models Andrea Peruffo D. Ahmed Alessandro Abate 25 15 0 07 Jul 2020
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata Ryohei Oura Ami Sakakibara T. Ushio 19 28 0 14 Jan 2020
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement Sahar Mohajerani Yiding Ji S. Lafortune 13 30 0 01 Oct 2019
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 65 54 0 02 Feb 2019
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 200 935 0 21 Oct 2016