C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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