Search Results for author:
Found 8 papers, 2 papers with code
Demonstration Informed Specification Search
To address this deficit, we propose Demonstration Informed Specification Search (DISS): a family of algorithms parameterized by black box access to (i) a maximum entropy planner and (ii) an algorithm for identifying concepts, e. g., automata, from labeled examples.
Maximum Causal Entropy Specification Inference from Demonstrations
In many settings (e. g., robotics) demonstrations provide a natural way to specify tasks; however, most methods for learning from demonstrations either do not provide guarantees that the artifacts learned for the tasks, such as rewards or policies, can be safely composed and/or do not explicitly capture history dependencies.
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
Cyber-physical system applications such as autonomous vehicles, wearable devices, and avionic systems generate a large volume of time-series data.
A Model Counter's Guide to Probabilistic Systems
In this paper, we systematize the modeling of probabilistic systems for the purpose of analyzing them with model counting techniques.
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
Time Series Learning using Monotonic Logical Properties
Cyber-physical systems of today are generating large volumes of time-series data.
Learning Task Specifications from Demonstrations
In this paper, we formulate the specification inference task as a maximum a posteriori (MAP) probability inference problem, apply the principle of maximum entropy to derive an analytic demonstration likelihood model and give an efficient approach to search for the most likely specification in a large candidate pool of specifications.
Logic-based Clustering and Learning for Time-Series Data
To effectively analyze and design cyberphysical systems (CPS), designers today have to combat the data deluge problem, i. e., the burden of processing intractably large amounts of data produced by complex models and experiments.
