External Links

    Journal: Formal Methods in System Design

    Volume 44, Issue 2

    101 -- 148Thomas Martin Gawlitza, Helmut Seidl. Numerical invariants through convex relaxation and max-strategy iteration
    149 -- 175Guy Avni, Orna Kupferman. An abstraction-refinement framework for trigger querying
    176 -- 202Yi Li, Jin Song Dong, Jing Sun 0002, Yang Liu, Jun Sun 0001. Model checking approach to automated planning
    runs on