Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic.

Ritam Raha Rajarshi Roy Nathanaël Fijalkow Daniel Neider

Published in: CoRR (2021)

Keyphrases

learning algorithm
supervised learning
linear temporal logic
real time
dynamic programming