7 citations · 8 across the 6 of their papers we have counts for
1 paper · 1 filter
Rudi Coppola, Andrea Peruffo, Manuel Mazo
A common technique to verify complex logic specifications for dynamical systems is the construction of symbolic abstractions: simpler, finite-state models whose behaviour mimics th…