Journal Article on Loop Acceleration and Plan Generation

An article by SIFT researchers Robert Goldman, Michael Pelican, and David Musliner has appeared in the International Journal of Software Tools for Technology Transfer, Volume 16, Issue 1, pages 13-29, 2014.
Titled "A loop acceleration technique to speed up verification of automatically generated plans", this paper describes a method for dramatically improving the speed at which the CIRCA automated controller synthesis and verification system can create guaranteed-safe plans.