Numerical invariants through convex relaxation and max-strategy iteration Thomas Martin GawlitzaHelmut Seidl OriginalPaper 22 September 2013 Pages: 101 - 148
An abstraction-refinement framework for trigger querying Guy AvniOrna Kupferman OriginalPaper 25 October 2013 Pages: 149 - 175
Model checking approach to automated planning Yi LiJin Song DongJun Sun OriginalPaper 26 October 2013 Pages: 176 - 202