Login / Signup
Symbolic Learning with Interval Temporal Logic: the Case of Regression.
Estrella Lucena-Sánchez
Guido Sciavicco
Ionel Eduard Stan
Published in:
OVERLAY (2020)
Keyphrases
</>
temporal logic
model checking
regression model
learning algorithm
reinforcement learning
heuristic search
belief revision
satisfiability problem
verification method