Systems, Robotics and Vision (SRV)
Publications in journals
- 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", Pages 307-326, 2007. Paper.
- Oliver, G.; Ortiz, A.; Bonin, F., "RAO-II: An AUV for underwater inspection", "Instrumentation Viewpoint", Issue 6, Pages 50-51, 2007. Paper.
- Antich, J.; Ortiz, A., "Reactive Navigation in Troublesome Environments: T2 Strategies", "Instrumentation Viewpoint", Issue 6, Pages 51-52, 2007. Paper.