Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry. Analysis and testing of PLEXIL plans. In Stefania Gnesi, Nico Plat, editors, Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. pages 52-58, ACM, 2014. [doi]
Abstract is missing.