Assalé Adjé

1. Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
   2015/03/24 by Assalé Adjé, Adjé, Assalé, Pierre-Loïc Garoche +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Real-Time Systems Scheduling #cs.LO