Timed Automata Learning via SMT Solving.

Martin Tappler Bernhard K. Aichernig Florian Lorber

Published in: NFM (2022)

Keyphrases

learning tasks
learning problems
learning algorithm
supervised learning
learning experience
timed automata
model checking
neural network
genetic algorithm
source code
belief revision
inductive inference