Search the dblp DataBase

Publications of Author

1. Stefano Cattani, Roberto Segala
   Decision Algorithms for Probabilistic Bisimulation. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2002, pp:371-385 [Conf]
   
2. Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman
   Stochastic Transition Systems for Continuous State Spaces and Non-determinism. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2005, pp:125-139 [Conf]
   
3. Stefano Cattani, Marta Z. Kwiatkowska
   A refinement-based process algebra for timed automata. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2005, v:17, n:2, pp:138-159 [Journal]
   
4. Alberto Broggi, Stefano Cattani
   An agent based evolutionary approach to path detection for off-road vehicle guidance. [Citation Graph (0, 0)][DBLP]
   Pattern Recognition Letters, 2006, v:27, n:11, pp:1164-1173 [Journal]
   
5. Massimo Bertozzi, Alberto Broggi, L. Bombini, C. Caraffi, Stefano Cattani, Pietro Cerri, Alessandra Fascioli, M. Felisa, Rean Isabella Fedriga, Stefano Ghidoni, Paolo Grisleri, P. Medici, M. Paterlini, P. P. Porta, M. Posterli, P. Zani
   Vision Technologies for Intelligent Vehicles. [Citation Graph (0, 0)][DBLP]
   KES (1), 2007, pp:704-711 [Conf]
   
6. 
   A Laserscanner-Vision Fusion System Implemented on the TerraMax Autonomous Vehicle. [Citation Graph (, )][DBLP]