|
[KGK23]
Jonis Kiesbye, Kush Grover and Jan Křetínský.
Model Checking for Proving and Improving Fault Tolerance of Satellites.
In Proc. 2023 IEEE Aerospace Conference.
2023.
[Presents an approach for analysing and improving the architecture of spacecraft, with a toolchain that interfaces with PRISM for policy generation.]
|
|
Links:
[Google]
[Google Scholar]
|