Publications en collaboration avec des chercheurs de Carnegie Mellon University (6)

2016

  1. A semi-automated method for extracting vertical clearance and cross sections in tunnels using mobile LiDAR data

    Tunnelling and Underground Space Technology, Vol. 59, pp. 48-54

2006

  1. Heuristic anytime approaches to stochastic decision processes

    Journal of Heuristics, Vol. 12, Núm. 3, pp. 181-209

2004

  1. A Suite of Tools for Debugging Distributed Autonomous Systems

    Formal Methods in System Design

2002

  1. A suite of tools for debugging distributed autonomous systems

    Proceedings - IEEE International Conference on Robotics and Automation, Vol. 1, pp. 169-174

2001

  1. Collecting and analyzing data from distributed control programs

    Electronic Notes in Theoretical Computer Science

2000

  1. Lessons learned from Xavier

    IEEE Robotics and Automation Magazine, Vol. 7, Núm. 2, pp. 33-39