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
Nuclear Thermal Propulsion Engine System Trades for Robotic Missions
Sign Up to like & getrecommendations! Published in 2025 at "Journal of Spacecraft and Rockets"
DOI: 10.2514/1.a36308
Abstract: Nuclear thermal propulsion (NTP) has emerged as a promising technology for enhancing the capabilities of robotic missions in space exploration. This paper investigates and analyzes the tradeoffs and sensitivity associated with utilizing NTP systems for… read more here.
Keywords: robotic missions; thermal propulsion; nuclear thermal; propulsion engine ... See more keywords