Safe inputs approximation for black-box systems

• Main Authors: XUE, Bai, LIU, Yang, MA, Lei, ZHANG, Xiyue, SUN, Meng, XIE, Xiaofei
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2019
• Subjects: Black-box systems; Linear programming; Probably approximate safety; OS and Networks; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/7074; https://ink.library.smu.edu.sg/context/sis_research/article/8077/viewcontent/464600a180.pdf
• Institution: Singapore Management University

Given a family of independent and identically distributed samples extracted from the input region and their corresponding outputs, in this paper we propose a method to under-approximate the set of safe inputs that lead the blackbox system to respect a given safety specification. Our method falls wit...