Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers

David J. Musliner, Robert P. Goldman, Michael J. S. Pelican. Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers. In Proceedings of the 2000 IEEE International Conference on Robotics and Automation, ICRA 2000, April 24-28, 2000, San Francisco, CA, USA. pages 95-101, IEEE, 2000.

Abstract

Abstract is missing.