SCSL enables composing tests from elementary scenarios with online execution and dynamic reconfiguration to handle nondeterminism and changing configurations in distributed robot systems.
Verified Simulation for Robotics.Science of Computer Programming, 174:1–37, 2019
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
A workshop report catalogues challenges and solution pathways for verification, engineering, and architecting reliable autonomous systems.
citing papers explorer
-
Scenario-based System Testing for Distributed Robotics Applications
SCSL enables composing tests from elementary scenarios with online execution and dynamic reconfiguration to handle nondeterminism and changing configurations in distributed robot systems.
-
Engineering Reliable Autonomous Systems: Challenges and Solutions
A workshop report catalogues challenges and solution pathways for verification, engineering, and architecting reliable autonomous systems.