<listing id="zp5zr"><dl id="zp5zr"></dl></listing><listing id="zp5zr"><ruby id="zp5zr"><span id="zp5zr"></span></ruby></listing>
<listing id="zp5zr"></listing>
<thead id="zp5zr"><dl id="zp5zr"></dl></thead>
<cite id="zp5zr"></cite>
<listing id="zp5zr"><ins id="zp5zr"><strike id="zp5zr"></strike></ins></listing><thead id="zp5zr"></thead>
<menuitem id="zp5zr"></menuitem><thead id="zp5zr"></thead>
<cite id="zp5zr"><dl id="zp5zr"><th id="zp5zr"></th></dl></cite>
<cite id="zp5zr"></cite>

Home>Events>Seminars

Information Sciences Seminar——Safe Inputs Approximation for Black-Box Systems

2019-09-11 13:00-14:00 Room 1303, Science Building No.1

Abstract:   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 black-box system to respect a given safety specification. Our method falls within the framework of probably approximately correct (PAC) learning. The computed under-approximation comes with statistical soundness provided by the underlying PAC learning process. Such a set, which we call a PAC under-approximation, is obtained by computing a PAC model of the black-box system with respect to the specified safety specification. In our method, the PAC model is computed based on the scenario approach, which encodes as a linear program. The linear program is constructed based on the given family of input samples and their corresponding outputs. The size of the linear program does not depend on the dimensions of the state space of the black-box system, thus providing scalability. Moreover, the linear program does not depend on the internal mechanism of the black-box system, thus being applicable to systems that existing methods are not capable of dealing with. Some case studies demonstrate these properties, general performance and usefulness of our approach.
Bio: Dr. Bai Xue is an associate research professor at State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences since November, 2017. He received the B.Sc. degree in information and computing science from Tianjin University of Technology and Education in 2008, and the Ph.D. degree in applied mathematics from Beihang University in 2014. Prior to joining Institute of Software, he worked as a research fellow in the Centre for High Performance Embedded Systems at Nanyang Technological University from May, 2014 to September, 2015, and as a postdoc in the Department fuer Informatik at Carl von Ossietzky Universitaet Oldenburg from November, 2015 to October, 2017.  His research interests mainly involves, but are not limited to, safety verification of (time-delay/stochastic) hybrid systems and safety verification of artificial intelligence.

苹果彩票秒速赛车的规律 http://cn.engadget.com/tag/福利彩票复式【28c63.com】 http://cn.engadget.com/tag/秒速时时彩选开奖网【28c63.com】 http://cn.engadget.com/tag/重庆体彩幸运农场【28c63.com】 http://cn.engadget.com/tag/微信网易彩票游戏【28c63.com】 http://cn.engadget.com/tag/北京pk10是什么意思【28c63.com】 http://cn.engadget.com/tag/彩票是哪类【28c63.com】 http://cn.engadget.com/tag/一分幸运农场开奖直播【28c63.com】 http://cn.engadget.com/tag/幸运农场走势图手机版【28c63.com】 http://cn.engadget.com/tag/手机注册2118彩票【28c63.com】 http://cn.engadget.com/tag/宝赢彩票软件邀请码【28c63.com】 http://cn.engadget.com/tag/山东彩票手机投注软件【28c63.com】 http://cn.engadget.com/tag/广东快乐十分杀码技巧【28c63.com】 http://cn.engadget.com/tag/玩幸运飞艇计划【28c63.com】 http://cn.engadget.com/tag/pk10代理【28c63.com】 http://cn.engadget.com/tag/吉祥8彩票平台网址【28c63.com】 http://cn.engadget.com/tag/广东快乐十分总和大小【28c63.com】 http://cn.engadget.com/tag/'幸运飞艇计划软件【28c63.com】 http://cn.engadget.com/tag/pk10龙虎怎么玩【28c63.com】 http://cn.engadget.com/tag/丹麦28是哪里的彩票【28c63.com】 http://cn.engadget.com/tag/拼搏在线彩票网【28c63.com】 http://cn.engadget.com/tag/幸运农场有关报道【28c63.com】 http://cn.engadget.com/tag/投诉天天中彩票【28c63.com】 http://cn.engadget.com/tag/凤凰平台买彩票靠谱吗【28c63.com】 http://cn.engadget.com/tag/什么彩票平台送彩金【28c63.com】 http://cn.engadget.com/tag/重庆幸运农场推荐号【28c63.com】 http://cn.engadget.com/tag/7k官方彩票平台合法吗?【28c63.com】 http://cn.engadget.com/tag/pk10质数合数【28c63.com】 http://cn.engadget.com/tag/彩票微信群名称大全【28c63.com】 http://cn.engadget.com/tag/秒速赛车的网站是什么意思【28c63.com】 http://cn.engadget.com/tag/吉林新快3开奖结果【28c63.com】 http://cn.engadget.com/tag/pk10一码方法【28c63.com】 http://cn.engadget.com/tag/98彩票网平台怎么样【28c63.com】 http://cn.engadget.com/tag/幸运农场十分【28c63.com】 http://cn.engadget.com/tag/幸运飞艇大赢家开奖网【28c63.com】 http://cn.engadget.com/tag/奇妙 pk10 趋势【28c63.com】 http://cn.engadget.com/tag/韩国彩票45选6走势图解【28c63.com】 http://cn.engadget.com/tag/北京PK十计划【28c63.com】 http://cn.engadget.com/tag/幸运飞艇8码公式技巧【28c63.com】 http://cn.engadget.com/tag/彩票11选5的绝密公式【28c63.com】 http://cn.engadget.com/tag/中国彩票彩吧【28c63.com】 http://cn.engadget.com/tag/秒速时时采彩官方app【28c63.com】 http://cn.engadget.com/tag/重庆幸运农场开奖截止时间【28c63.com】 http://cn.engadget.com/tag/幸运飞艇素材【28c63.com】 http://cn.engadget.com/tag/体育彩票9加2【28c63.com】 http://cn.engadget.com/tag/pk10对码技巧【28c63.com】 http://cn.engadget.com/tag/玩彩票女孩靠谱吗?【28c63.com】 http://cn.engadget.com/tag/北京pk10在线精准计划【28c63.com】 http://cn.engadget.com/tag/东方幸运农场【28c63.com】 http://cn.engadget.com/tag/彩票三d开奖结果【28c63.com】 http://cn.engadget.com/tag/dy顶级彩票网【28c63.com】 http://cn.engadget.com/tag/广东快乐十分出走势【28c63.com】 http://cn.engadget.com/tag/幸运飞艇跟北京pk一样吗【28c63.com】 http://cn.engadget.com/tag/pk10的龙虎指什么【28c63.com】 http://cn.engadget.com/tag/极速赛车pk10计划【28c63.com】 http://cn.engadget.com/tag/网络彩票举报【28c63.com】 http://cn.engadget.com/tag/幸运飞艇投注技巧软件【28c63.com】 http://cn.engadget.com/tag/北京pk10大小怎么算【28c63.com】 http://cn.engadget.com/tag/彩票概念股龙头【28c63.com】 http://cn.engadget.com/tag/广东快乐十分开奖官网【28c63.com】 http://cn.engadget.com/tag/幸运飞艇如何确定八码【28c63.com】 http://cn.engadget.com/tag/58彩票幸运28合法吗【28c63.com】 http://cn.engadget.com/tag/2.25号福利彩票【28c63.com】 http://cn.engadget.com/tag/幸运农场幸运四复式【28c63.com】 http://cn.engadget.com/tag/微信网易彩票游戏【28c63.com】 http://cn.engadget.com/tag/彩票预测最精准软件【28c63.com】 http://cn.engadget.com/tag/秒速赛车有没有规律【28c63.com】 http://cn.engadget.com/tag/开幸运飞艇群【28c63.com】 http://cn.engadget.com/tag/穷人买彩票能翻身吗【28c63.com】 http://cn.engadget.com/tag/全球彩票怎么样?【28c63.com】 http://cn.engadget.com/tag/彩友会彩票模板【28c63.com】 http://cn.engadget.com/tag/秒速赛车下载安装【28c63.com】 http://cn.engadget.com/tag/幸运飞艇投注微信群【28c63.com】 http://cn.engadget.com/tag/cs彩票网址是多少?【28c63.com】 http://cn.engadget.com/tag/哪里加玩彩票的人啊【28c63.com】 http://cn.engadget.com/tag/广东快乐十分预测杀号【28c63.com】 http://cn.engadget.com/tag/哪里能买北京快乐8【28c63.com】 http://cn.engadget.com/tag/彩票 福利群【28c63.com】 http://cn.engadget.com/tag/广东快乐十分系统【28c63.com】 http://cn.engadget.com/tag/幸运飞艇手机app【28c63.com】 http://cn.engadget.com/tag/pk10超级缩水【28c63.com】 http://cn.engadget.com/tag/ba娱乐平台代理【28c63.com】 http://cn.engadget.com/tag/幸运农场长龙多少期【28c63.com】 http://cn.engadget.com/tag/幸运飞艇开奖记录那里能【28c63.com】 http://cn.engadget.com/tag/淘宝还有没有彩票【28c63.com】 http://cn.engadget.com/tag/彩票代理盘【28c63.com】 http://cn.engadget.com/tag/广东快乐十分现场开奖【28c63.com】 http://cn.engadget.com/tag/幸运飞艇下注平官网【28c63.com】 http://cn.engadget.com/tag/彩票33是不是真的吗【28c63.com】 http://cn.engadget.com/tag/彩票投注技巧【28c63.com】 http://cn.engadget.com/tag/幸运飞艇时时彩计划【28c63.com】 http://cn.engadget.com/tag/pk10北京赛车缩水【28c63.com】 http://cn.engadget.com/tag/3d彩票自创方法【28c63.com】 http://cn.engadget.com/tag/幸运农场历史开奖表【28c63.com】 http://cn.engadget.com/tag/彩票我要做代理【28c63.com】 http://cn.engadget.com/tag/七星彩彩票预测号码【28c63.com】 http://cn.engadget.com/tag/重庆幸运农场每天几期【28c63.com】 http://cn.engadget.com/tag/幸运飞艇官网 网视频【28c63.com】 http://cn.engadget.com/tag/cs彩票APP【28c63.com】 http://cn.engadget.com/tag/视频彩票快乐十分【28c63.com】 http://cn.engadget.com/tag/幸运农场开奖平台【28c63.com】 http://cn.engadget.com/tag/pk10微信群号【28c63.com】 http://cn.engadget.com/tag/彩票安全购【28c63.com】 http://cn.engadget.com/tag/幸运农场定位【28c63.com】 http://cn.engadget.com/tag/北京赛车pk10快彩网【28c63.com】 http://cn.engadget.com/tag/头奖彩票是不是真实的?【28c63.com】 http://cn.engadget.com/tag/广东快乐十分官方开奖【28c63.com】 http://cn.engadget.com/tag/幸运飞艇时时彩计划【28c63.com】 http://cn.engadget.com/tag/pk10倍投怎么投【28c63.com】 http://cn.engadget.com/tag/网络彩票开放【28c63.com】 http://cn.engadget.com/tag/秒速时时彩开奖盛世【28c63.com】 http://cn.engadget.com/tag/pk10前三单式【28c63.com】 http://cn.engadget.com/tag/3d彩票和值【28c63.com】 http://cn.engadget.com/tag/北京福彩网幸运飞艇【28c63.com】 http://cn.engadget.com/tag/北京赛车pk10在线客服【28c63.com】 http://cn.engadget.com/tag/福利彩票3d式机号【28c63.com】 http://cn.engadget.com/tag/> 重庆幸运农场走势图【28c63.com】 http://cn.engadget.com/tag/幸运飞艇长龙最长几把【28c63.com】 http://cn.engadget.com/tag/北京赛车pk10模拟盘【28c63.com】 http://cn.engadget.com/tag/体育彩票走势图分析【28c63.com】 http://cn.engadget.com/tag/广东快乐十分预测【28c63.com】 http://cn.engadget.com/tag/35彩票平台怎么样【28c63.com】 http://cn.engadget.com/tag/彩票登录路入口一【28c63.com】 http://cn.engadget.com/tag/广东快乐十分稳赢公式【28c63.com】 http://cn.engadget.com/tag/幸运飞艇下注技巧【28c63.com】 http://cn.engadget.com/tag/彩票都有那些平台【28c63.com】 http://cn.engadget.com/tag/乐淘彩票网是真的吗【28c63.com】 http://cn.engadget.com/tag/幸运飞艇六码技巧【28c63.com】 http://cn.engadget.com/tag/pk10北京赛车计划软件【28c63.com】 http://cn.engadget.com/tag/卓易彩票 9号软件【28c63.com】 http://cn.engadget.com/tag/幸运农场软件手机版下载【28c63.com】 http://cn.engadget.com/tag/为什么彩票不能网购了【28c63.com】 http://cn.engadget.com/tag/头奖彩票提款规则【28c63.com】 http://cn.engadget.com/tag/头等彩票网【28c63.com】 http://cn.engadget.com/tag/幸运飞艇群号【28c63.com】 http://cn.engadget.com/tag/cp彩票安卓版APP【28c63.com】 http://cn.engadget.com/tag/全民中彩票【28c63.com】 http://cn.engadget.com/tag/北京赛车pk10倍投风险【28c63.com】 http://cn.engadget.com/tag/北京赛车pk10开奖直播皇家【28c63.com】 http://cn.engadget.com/tag/天豪娱乐【28c63.com】 http://cn.engadget.com/tag/秒速时时彩官网下载【28c63.com】 http://cn.engadget.com/tag/北京pk10总共多少期【28c63.com】 http://cn.engadget.com/tag/七位体育彩票开奖号码【28c63.com】 http://cn.engadget.com/tag/幸运农场开奖结果下载【28c63.com】 http://cn.engadget.com/tag/鸿博彩票客户端【28c63.com】 http://cn.engadget.com/tag/中彩网可以买彩票吗【28c63.com】 http://cn.engadget.com/tag/幸运飞艇绝杀1号【28c63.com】 http://cn.engadget.com/tag/英国彩票历史开奖结果【28c63.com】 http://cn.engadget.com/tag/斗牛娱乐彩票总代理【28c63.com】 http://cn.engadget.com/tag/幸运飞艇定位胆【28c63.com】 http://cn.engadget.com/tag/pk10玩的技巧【28c63.com】 http://cn.engadget.com/tag/亚洲最大彩票平台注册【28c63.com】 http://cn.engadget.com/tag/秒速时时彩哪里开奖的【28c63.com】 http://cn.engadget.com/tag/北京pk10黄金计划软件下载【28c63.com】 http://cn.engadget.com/tag/哪个极速赛车彩票正规【28c63.com】 http://cn.engadget.com/tag/极速时时彩开奖网址【28c63.com】 http://cn.engadget.com/tag/幸运飞艇走势图下载【28c63.com】 http://cn.engadget.com/tag/pk10中的规律【28c63.com】 http://cn.engadget.com/tag/极速时时彩开奖网址【28c63.com】 http://cn.engadget.com/tag/幸运飞艇彩票是官方的吗【28c63.com】 http://cn.engadget.com/tag/北京pk10数据统计【28c63.com】 http://cn.engadget.com/tag/3d彩票开奖2019042【28c63.com】 http://cn.engadget.com/tag/谁有幸运飞艇计划【28c63.com】 http://cn.engadget.com/tag/pk10七码【28c63.com】 http://cn.engadget.com/tag/广东快乐十分稳赚技巧大全【28c63.com】 http://cn.engadget.com/tag/幸运飞艇时时彩计划【28c63.com】 http://cn.engadget.com/tag/pk10彩吧【28c63.com】 http://cn.engadget.com/tag/好彩票网站安全吗【28c63.com】 http://cn.engadget.com/tag/2019彩票啥时候开售【28c63.com】 http://cn.engadget.com/tag/卓易彩票 种代购合【28c63.com】 http://cn.engadget.com/tag/广东快乐十分结果【28c63.com】 http://cn.engadget.com/tag/竞彩彩票网可靠吗【28c63.com】 http://cn.engadget.com/tag/必赢彩票是正规网站吗【28c63.com】 http://cn.engadget.com/tag/广东快乐十分复式表【28c63.com】 http://cn.engadget.com/tag/体育彩票9加2【28c63.com】 http://cn.engadget.com/tag/彩票之家1960注册链接【28c63.com】 http://cn.engadget.com/tag/广东快乐十分号码推荐【28c63.com】 http://cn.engadget.com/tag/全球中彩票的人【28c63.com】 http://cn.engadget.com/tag/青岛福利彩票官方网站【28c63.com】 http://cn.engadget.com/tag/幸运农场开奖彩票【28c63.com】 http://cn.engadget.com/tag/pk10 走势怎么看【28c63.com】 http://cn.engadget.com/tag/彩票关注软件【28c63.com】 http://cn.engadget.com/tag/广东快乐十分公告【28c63.com】 http://cn.engadget.com/tag/pk10是什么游戏【28c63.com】 http://cn.engadget.com/tag/淘宝上怎么投注彩票【28c63.com】 http://cn.engadget.com/tag/幸运农场所有走势图【28c63.com】 http://cn.engadget.com/tag/pk10官方开奖【28c63.com】 http://cn.engadget.com/tag/好听点的彩票昵称【28c63.com】 http://cn.engadget.com/tag/幸运飞艇信誉qq群【28c63.com】 http://cn.engadget.com/tag/彩票网站客服【28c63.com】 http://cn.engadget.com/tag/广东快乐十分稳赢公式下载【28c63.com】 http://cn.engadget.com/tag/京东彩票网站吗【28c63.com】 http://cn.engadget.com/tag/万达彩票网信誉【28c63.com】 http://cn.engadget.com/tag/广东快乐十分直播【28c63.com】 http://cn.engadget.com/tag/pk10开奖官方网站【28c63.com】 http://cn.engadget.com/tag/最准彩票预测软件下载【28c63.com】 http://cn.engadget.com/tag/幸运农场怎么才能稳赢【28c63.com】 http://cn.engadget.com/tag/北京赛车pk10 一天多少期【28c63.com】 http://cn.engadget.com/tag/买彩票真的能中500万【28c63.com】 http://cn.engadget.com/tag/幸运飞艇数据统计【28c63.com】 http://cn.engadget.com/tag/pk10改单【28c63.com】