302 search results - page 61 / 61 » An approach to synthesise safe systems |
188
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Autonomous landing on unknown extraterrestrial bodies requires fast, noise-resistant motion processing to elicit appropriate steering commands. Flying insects excellently master vi...
167
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...