Nicholas Renninger

Probabilistic Specification Learning for Planning with Safety Constraints

This paper proposes a framework for learning task specifications from demonstrations, while ensuring that the learned specifications do not violate safety constraints. Furthermore, we show how these specifications can be used in a planning problem to control the robot under environments that can be…