Article In: orcid

Petri net based multi-robot task coordination from temporal logic specifications

Robotics and Autonomous Systems

Bruno Lacerda; Pedro U. Lima2019

Key information

Authors:

Bruno Lacerda; Pedro U. Lima (Pedro Manuel Urbano de Almeida Lima)

Published in

December 2019

Publication details

Title of the publication container

Robotics and Autonomous Systems

Volume

122

Fields of Science and Technology (FOS)

electrical-engineering-electronic-engineering-information-engineering - Electrical engineering, electronic engineering, information engineering

Publication language (ISO code)

eng - English

Rights type:

Only metadata available