124
click to vote
FOSAD
2009
Springer
15 years 8 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
152
click to vote
HRI
2007
ACM
15 years 8 months ago
2007
ACM
Learning by demonstration can be a powerful and natural tool for developing robot control policies. That is, instead of tedious hand-coding, a robot may learn a control policy by ...
138
click to vote
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
120
Voted
HRI
2007
ACM
15 years 8 months ago
2007
ACM
155
click to vote
HRI
2007
ACM
15 years 8 months ago
2007
ACM
Human control of multiple robots has been characterized by the average demand of single robots on human attention or the distribution of demands from multiple robots. When robots ...