19 citations · 47 across the 8 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017★ 8 cited
Algebra, coalgebra, and minimization in polynomial differential equations
Michele Boreale
We consider reasoning and minimization in systems of polynomial ordinary differential equations (ode's). The ring of multivariate polynomials is employed as a syntax for denoting s…
cs.LO2017★ 19 cited
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODEs
Michele Boreale
A system of polynomial ordinary differential equations (ODEs) is specified via a vector of multivariate polynomials, or vector field, . A safety assertion mea…