Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications (Q2125520): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 22:43, 1 February 2024

scientific article
Language Label Description Also known as
English
Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications
scientific article

    Statements

    Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    14 April 2022
    0 references
    multi-agent systems
    0 references
    linear temporal logic
    0 references
    path-planning
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references