|
[NSTG16]
Vittoria Nardone, Antonella Santone, Massimo Tipaldi and Luigi Glielmo.
Probabilistic model checking applied to autonomous spacecraft reconfiguration.
In Proc. 2016 IEEE Metrology for Aerospace.
2016.
[Verifies autonomous spacecraft reconfiguration using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|