Sistemes, Robòtica i Visió (SRV)

Publicacions en revistes

  • 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àgines 307-326, 2007. Article.
  • Oliver, G.; Ortiz, A.; Bonin, F., "RAO-II: An AUV for underwater inspection", "Instrumentation Viewpoint", Número 6, Pàgines 50-51, 2007. Article.
  • Antich, J.; Ortiz, A., "Reactive Navigation in Troublesome Environments: T2 Strategies", "Instrumentation Viewpoint", Número 6, Pàgines 51-52, 2007. Article.