Formal Modeling and Analysis of a Planetary Rover Under Abnormal Scenarios with Quint. - Riki Nakamura; Shunichiro Nomura; Takahiro Kato; Takato Hatae; Satoshi Ikari; Ryu Funase; Shinichi Nakasuka (ABZ, 2026)