Probabilistic Verification of a Decentralized Policy for Conflict Resolution in Multi-agent Systems

Lucia Pallottino, Vincenzo Giovanni Scordio, Emilio Frazzoli, Antonio Bicchi. Probabilistic Verification of a Decentralized Policy for Conflict Resolution in Multi-agent Systems. In Proceedings of the 2006 IEEE International Conference on Robotics and Automation, ICRA 2006, May 15-19, 2006, Orlando, Florida, USA. pages 2448-2453, IEEE, 2006.

Authors

Lucia Pallottino

This author has not been identified. Look up 'Lucia Pallottino' in Google

Vincenzo Giovanni Scordio

This author has not been identified. Look up 'Vincenzo Giovanni Scordio' in Google

Emilio Frazzoli

This author has not been identified. Look up 'Emilio Frazzoli' in Google

Antonio Bicchi

This author has not been identified. Look up 'Antonio Bicchi' in Google