[PDF][PDF] DeepDFA: a transparent neural network design for DFA induction
E Umili, R Capobianco - researchgate.net
This work addresses the problem of identifying a deterministic finite automaton (DFA) from
traces by using a differentiable recurrent model. Our model is similar to a recurrent neural …
traces by using a differentiable recurrent model. Our model is similar to a recurrent neural …
[PDF][PDF] Learning Finite Linear Temporal Logic Formulas
H Walke - 2021 - cs.brown.edu
We present two methods for synthesizing finite linear temporal logic (LTLf) specifications
from labeled traces of system behavior. The first method reduces the problem to a partial …
from labeled traces of system behavior. The first method reduces the problem to a partial …