Sistemas, Robótica y Visión (SRV)

Publicaciones en revistas

  • Rodríguez-Navas, G.; Proenza, J. and Hansson, H., "Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking

    "    , "Lecture Notes in Computer Science", Páginas 307-326, 2007. Artículo.
  • Oliver, G.; Ortiz, A.; Bonin, F., "RAO-II: An AUV for underwater inspection", "Instrumentation Viewpoint", Número 6, Páginas 50-51, 2007. Artículo.
  • Antich, J.; Ortiz, A., "Reactive Navigation in Troublesome Environments: T2 Strategies", "Instrumentation Viewpoint", Número 6, Páginas 51-52, 2007. Artículo.