Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2022.3230059
Abstract: With many applications across domains as diverse as logistics, healthcare, and agriculture, service robots are in increasingly high demand. Nevertheless, the designers of these robots often struggle with specifying their tasks in a way that… read more here.
Keywords: robotic missions; specification patterns; mission specification; mission ... See more keywords