Safe inputs approximation for black-box systems

• Main Authors: XUE, Bai, LIU, Yang, MA, Lei, ZHANG, Xiyue, SUN, Meng, XIE, Xiaofei
• 格式: text
• 語言: English
• 出版: Institutional Knowledge at Singapore Management University 2019
• 主題: Black-box systems; Linear programming; Probably approximate safety; OS and Networks; Software Engineering
• 在線閱讀: https://ink.library.smu.edu.sg/sis_research/7074; https://ink.library.smu.edu.sg/context/sis_research/article/8077/viewcontent/464600a180.pdf
• 機構: 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...