39 citations · 64 across the 19 of their papers we have counts for
3 papers · 1 filter
Entropy-regularized Point-based Value Iteration
Harrison Delecki, Marcell Vazquez-Chanlatte, Esen Yel +4
Model-based planners for partially observable problems must accommodate both model uncertainty during planning and goal uncertainty during objective inference. However, model-based…
Demonstration Informed Specification Search
Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman +1
This paper considers the problem of learning temporal task specifications, e.g. automata and temporal logic, from expert demonstrations. Task specifications are a class of sparse m…
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh +4
We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components. VERIFAI particu…