Specification Patterns for Robotic Missions
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2019.2945329
Abstract: Mobile and general-purpose robots increasingly support everyday life, requiring dependable robotics control software. Creating such software mainly amounts to implementing complex behaviors known as missions. Recognizing this need, a large number of domain-specific specification languages… read more here.
Keywords: patterns robotic; robotics; mission; robotic missions ... See more keywords
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