Learning Through Imitation by Using Formal Verification.

Avraham Raviv Eliya Bronshtein Or Reginiano Michelle Aluf-Medina Hillel Kugler

Published in: SOFSEM (2023)

Keyphrases

formal verification
learning process
learning systems
model checking
learning algorithm
reinforcement learning
learning tasks
prior knowledge
supervised learning
machine learning
web services
knowledge representation
probabilistic reasoning
goal directed