Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean. Certifying Optimality of State Estimation Programs. In Warren A. Hunt Jr., Fabio Somenzi, editors, Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Volume 2725 of Lecture Notes in Computer Science, pages 301-314, Springer, 2003. [doi]
Abstract is missing.