Development and Evaluation of Exploratory Experiences to Facilitate Reasoning About Robotic Systems. - Sogol Balali; Marisa Hudspeth; Ian Afflerbach; Hannah Helgesen; Jessica McCurry; Walid Abu Al-Afia; Kelton Bruslind; Kathryn Hays; Ross T. Sowell; Ruth West; Cindy M. Grimm (IROS, 2023)