skip to main content
Language:

Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications

Montana, Felipe J. ; Liu, Jun ; Dodd, Tony J.

Critical Systems: Formal Methods and Automated Verification, p.150-164 [Peer Reviewed Journal]

Cham: Springer International Publishing

No full-text

Citations Cited by
Back to results list

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far