Reachability computation for polynomial dynamical systems Tommaso DreossiThao DangCarla Piazza OriginalPaper 09 January 2017 Pages: 1 - 38
SAT solver management strategies in IC3: an experimental approach G. CabodiP. E. CamuratiP. Pasini OriginalPaper 25 February 2017 Pages: 39 - 74
An empirical study of adaptive concretization for parallel program synthesis Jinseong JeonXiaokang QiuJeffrey S. Foster OriginalPaper 07 March 2017 Pages: 75 - 95