Abstract: This paper presents a formal specification framework for planning and control of autonomous robots, focusing on the challenge of managing complex trade-offs among multiple, potentially ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results