Learning Signal Temporal Logic through Neural Network for Interpretable Classification.

Danyang Li Mingyu Cai Cristian-Ioan Vasile Roberto Tron

Published in: ACC (2023)

Keyphrases

temporal logic
neural network
learning algorithm
supervised learning
incremental learning
model checking
satisfiability problem
learning vector quantization
back propagation
classification rules
modal logic
artificial intelligence
decision trees
state space
np complete
concurrent systems