Learning Linear Temporal Properties.

Daniel Neider Ivan Gavran

Published in: FMCAD (2018)

Keyphrases

temporal properties
supervised learning
learning algorithm
neural network
online learning
knowledge base
relational databases
temporal logic
inference rules