1. Numerical invariants through convex relaxation and max-strategy iteration

   • Thomas Martin Gawlitza
   • Helmut Seidl

   OriginalPaper 22 September 2013 Pages: 101 - 148

   

2. An abstraction-refinement framework for trigger querying

   • Guy Avni
   • Orna Kupferman

   OriginalPaper 25 October 2013 Pages: 149 - 175

   

3. Model checking approach to automated planning

   • Yi Li
   • Jin Song Dong
   • Jun Sun

   OriginalPaper 26 October 2013 Pages: 176 - 202