Formal Policy Learning from Demonstrations for Reachability Properties.

Hadi Ravanbakhsh Sriram Sankaranarayanan Sanjit A. Seshia

Published in: CoRR (2019)

Keyphrases

knowledge acquisition
learning process
learning algorithm
optimal policy
learning systems
artificial intelligence
information systems
expert systems
empirical studies
unsupervised learning
mobile learning
learning tasks
formal methods