An overview of verification and validation challenges for inspection robots
The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …
hazardous and distant environments to carry out inspections increasingly avoidable. Being …
Model-driven engineering for mobile robotic systems: a systematic map** study
GL Casalaro, G Cattivera, F Ciccozzi… - Software and Systems …, 2022 - Springer
Mobile robots operate in various environments (eg aquatic, aerial, or terrestrial), they come
in many diverse shapes and they are increasingly becoming parts of our lives. The …
in many diverse shapes and they are increasingly becoming parts of our lives. The …
Plug in the safety chip: Enforcing constraints for llm-driven robot agents
Recent advancements in large language models (LLMs) have enabled a new research
domain, LLM agents, for solving robotics and planning tasks by leveraging the world …
domain, LLM agents, for solving robotics and planning tasks by leveraging the world …
Behavior trees in action: a study of robotics applications
Autonomous robots combine a variety of skills to form increasingly complex behaviors called
missions. While the skills are often programmed at a relatively low level of abstraction, their …
missions. While the skills are often programmed at a relatively low level of abstraction, their …
Behavior trees and state machines in robotics applications
Autonomous robots combine skills to form increasingly complex behaviors, called missions.
While skills are often programmed at a relatively low abstraction level, their coordination is …
While skills are often programmed at a relatively low abstraction level, their coordination is …
Grounding complex natural language commands for temporal tasks in unseen environments
Grounding navigational commands to linear temporal logic (LTL) leverages its unambiguous
semantics for reasoning about long-horizon tasks and verifying the satisfaction of temporal …
semantics for reasoning about long-horizon tasks and verifying the satisfaction of temporal …
Software variability in service robotics
Robots artificially replicate human capabilities thanks to their software, the main
embodiment of intelligence. However, engineering robotics software has become …
embodiment of intelligence. However, engineering robotics software has become …
From pluralistic normative principles to autonomous-agent rules
With recent advancements in systems engineering and artificial intelligence, autonomous
agents are increasingly being called upon to execute tasks that have normative relevance …
agents are increasingly being called upon to execute tasks that have normative relevance …
[HTML][HTML] Specification, stochastic modeling and analysis of interactive service robotic applications
Assistive robotic systems are quickly becoming a core technology for the service sector as
they are understood capable of supporting people in need of assistance in a wide variety of …
they are understood capable of supporting people in need of assistance in a wide variety of …
Mission specification patterns for mobile robots: Providing support for quantitative properties
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 …
service robots are in increasingly high demand. Nevertheless, the designers of these robots …