Semilinear motion planning in REDLOG (Q5956427)

From MaRDI portal
scientific article; zbMATH DE number 1709192
Language Label Description Also known as
English
Semilinear motion planning in REDLOG
scientific article; zbMATH DE number 1709192

    Statements

    Semilinear motion planning in REDLOG (English)
    0 references
    15 October 2002
    0 references
    motion planning
    0 references
    quantifier elimination
    0 references
    translations
    0 references
    path finding problem
    0 references
    complexity bounds
    0 references
    experimental results
    0 references
    REDLOG package
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references