14 citations · 56 across the 22 of their papers we have counts for
1 paper · 1 filter
Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew Lamperski
We consider temporal logic verification of (possibly nonlinear) dynamical systems evolving over continuous state spaces. Our approach combines automata-based verification and the u…