1 paper · 1 filter
Bree Cummins, Tomas Gedeon, Shaun Harker +1
We show how a graph algorithm for finding matching labeled paths in pairs of labeled directed graphs can be used to perform model validation for a class of dynamical systems includ…