1 citations · 1 across the 1 of their papers we have counts for
1 paper
Lukas Munser, Grigory Devadze, Stefan Streif
Recent employments of SMT solvers within the Lyapunov function synthesis provided effective tools for automated construction of Lyapunov functions alongside with sound computer-ass…