Answers are grounded in this paper and cite their sources.
Autonomous robots are complex systems that require the interaction or cooperation of numerous heterogeneous software components. Nowadays, robots are getting closer to humans and as such are becoming critical systems that must meet safety properties including logical, temporal, and real-time constraints.
No takes yet. Share an insight, caveat, or question.
Bensalem et al. (2009) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: