Pavlo Vlastos, Irfan Sljivo, Corey Carter, Aaron Woodard. Developing a Dependable Multi-Agent Rover Swarm Using cFS. In 35th IEEE International Symposium on Software Reliability Engineering, ISSRE 2024 - Workshops, Tsukuba, Japan, October 28-31, 2024. pages 377-382, IEEE, 2024. [doi]
Abstract is missing.