文章基本信息

标题：Algorithmic Improvisation for Dependable Intelligent Autonomy (Invited Talk)
本地全文：下载
作者：Sanjit A. Seshia
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2020
卷号：182
页码：1-3
DOI：10.4230/LIPIcs.FSTTCS.2020.5
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Algorithmic Improvisation, also called control improvisation or controlled improvisation, is a new framework for automatically synthesizing systems with specified random but controllable behavior. In this talk, I will present the theory of algorithmic improvisation and show how it can be used in a wide variety of applications where randomness can provide variety, robustness, or unpredictability while guaranteeing safety or other properties. Applications demonstrated to date include robotic surveillance, software fuzz testing, music improvisation, human modeling, generating test cases for simulating cyber-physical systems, and generation of synthetic data sets to train and test machine learning algorithms. In this talk, I will particularly focus on applications to the design of intelligent autonomous systems, presenting work on randomized planning for robotics and a domain-specific probabilistic programming language for the design and analysis of learning-based autonomous systems.
关键词：Formal methods; synthesis; verification; randomized algorithms; formal specification; testing; machine learning; synthetic data generation; planning