AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy - Christian HenkelPublished bythinkoneering.comon •1 min readChristian Henkel, Marco Lampacrescia, Michaela Klauck, Matteo Morelli @ IROS 2025Christian HenkelThinkoneeringRoboticsResearchPhilosophyBlogFirst-AuthorFormal-MethodsOpen-SourceBehavior-TreesLearn moreShareLegalReport
