Sciweavers

2056 search results - page 18 / 412
» time 2000
Sort
View
ICRA
2000
IEEE
83views Robotics» more  ICRA 2000»
14 years 2 months ago
Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers
David J. Musliner, Robert P. Goldman, Michael J. S...