Conference Papers

LTL-Based Decentralized Supervisory Control of Multi-Robot Tasks Modelled as Petri Nets

Pedro Lima | Bruno Lacerda

Proc. of IROS 2011 - IEEE/RSJ International Conference on Intelligent Robots and Systems, San Francisco, CA, USA

Privacy Policy
Highlights
Jobs
Intranet

Back to top

IST - Institute for Systems and Robotics

Research, development, and innovation institution focused on Robotic Systems and Information Processing, since 1992.

Facebook-f Linkedin
Contacts

Built and Designed by Novify

Privacy Policy

Cookies policy

© All Rights Reserved.