Sciweavers

10539 search results - page 112 / 2108
» On L
Sort
View
98
Voted
ICCAD
1994
IEEE
70views Hardware» more  ICCAD 1994»
15 years 7 months ago
Iterative algorithms for formal verification of embedded real-time systems
Felice Balarin, Alberto L. Sangiovanni-Vincentelli
79
Voted
ICRA
1993
IEEE
129views Robotics» more  ICRA 1993»
15 years 7 months ago
Robot Navigation in a Known Environment with Unknown Moving Obstacles
Steven Ratering, Maria L. Gini