Assumptions and Guarantees for Composable Models in Papyrus for Robotics | Publicación