Model checking of spacecraft operational designs: a scalability analysis

Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller 0005, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer. Model checking of spacecraft operational designs: a scalability analysis. Software and Systems Modeling, 24(6):1825-1846, December 2025. [doi]

Abstract

Abstract is missing.