Treffer 1 - 2 von 2 für Suche 'Cucullu, G.C.', Suchdauer: 0,31s Treffer weiter einschränken
  1. 1
    Model Checking Autonomous Planners: Even the B est L aid P lans M ust be V erified

    Model Checking Autonomous Planners: Even the B est L aid P lans M ust be V erified von Smith, M.H., Cucullu, G.C., Holzmann, G.J., Smith, B.D.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    New millennium ST6 autonomous rendezvous experiment (ARX)

    New millennium ST6 autonomous rendezvous experiment (ARX) von Kornfeld, R.P., Bunker, R.L., Cucullu, G.C., Essmiller, J.C., Hadaegh, F.Y., Christian Liebe, C., Padgett, C.W., Wong, E.C.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: