Sciweavers

8377 search results - page 109 / 1676
» Scenarios - Introduction
Sort
View
ICRA
2010
IEEE
178views Robotics» more  ICRA 2010»
15 years 2 months ago
Biomimetic optic flow sensing applied to a lunar landing scenario
Autonomous landing on unknown extraterrestrial bodies requires fast, noise-resistant motion processing to elicit appropriate steering commands. Flying insects excellently master vi...
Florent Valette, Franck Ruffier, Stéphane V...
FM
2009
Springer
146views Formal Methods» more  FM 2009»
15 years 1 months ago
Verifying Real-Time Systems against Scenario-Based Requirements
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...