Damian M. Lyons, Ronald C. Arkin, P. Nirmal, S. Jiang, T. M. Liu. A Software Tool for the Design of Critical Robot Missions with Performance Guarantees. In Christiaan J. J. Paredis, Carlee Bishop, Douglas A. Bodner, editors, Proceedings of the Conference on Systems Engineering Research, CSER 2013, Atlanta, Georgia, USA, March 19-22, 2013. Volume 16 of Procedia Computer Science, pages 888-897, Elsevier, 2013. [doi]
Abstract is missing.