Sciweavers

17
Voted
ICRA
2000
IEEE

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

14 years 3 months ago
Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers
David J. Musliner, Robert P. Goldman, Michael J. S
Added 31 Jul 2010
Updated 31 Jul 2010
Type Conference
Year 2000
Where ICRA
Authors David J. Musliner, Robert P. Goldman, Michael J. S. Pelican
Comments (0)