Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications (Q2673758)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7540988
Language Label Description Also known as
default for all languages
No label defined
    English
    Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications
    scientific article; zbMATH DE number 7540988

      Statements

      Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications (English)
      0 references
      0 references
      13 June 2022
      0 references
      automata theory
      0 references
      multi-robot systems
      0 references
      parallel decomposition
      0 references
      task planning
      0 references
      motion planning
      0 references

      Identifiers