Learning Signal Temporal Logic through Neural Network for Interpretable Classification.

Danyang Li Mingyu Cai Cristian-Ioan Vasile Roberto Tron

Published in: CoRR (2022)

Keyphrases

temporal logic
neural network
supervised learning
model checking
modal logic
reinforcement learning
learning algorithm
knowledge base
training process
artificial intelligence
incremental learning
satisfiability problem