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

David J. Musliner, Robert P. Goldman, Michael J. S. Pelican

Browse the full ICRA paper archive.