skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Probabilistic model checking applied to autonomous spacecraft reconfiguration

Nardone, V.., A.. Santone, M.. Tipaldi, and L.. Glielmo, "Probabilistic model checking applied to autonomous spacecraft reconfiguration", 3rd IEEE International Workshop on Metrology for Aerospace, MetroAeroSpace 2016 - Proceedings, pp. 556-560, 2016.