Maximum causal entropy specification inference from demonstrations

DOI10.1007/978-3-030-53291-8_15zbMath1478.68301arXiv1907.11792OpenAlexW3046395575MaRDI QIDQ2226740

Marcell Vazquez-Chanlatte, Sanjit A. Seshia

Publication date: 9 February 2021

Full work available at URL: https://arxiv.org/abs/1907.11792

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Model checking finite-horizon Markov chains with probabilistic inference

This page was built for publication: Maximum causal entropy specification inference from demonstrations