Multiple object semilinear motion planning

DOI10.1016/J.JSC.2006.11.001MaRDI QIDQ2457425zbMATH OpenOpenAlexFDO

Authors Andreas Dolzmann, Volker Weispfenning

Publication date 23 October 2007

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2006.11.001

zbMATH Keywords

linear real quantifier eliminationmotion planningREDLOGtrajectory finding

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Artificial intelligence for robotics (68T40) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1684391
• Motion planning for multiple robots
• Reducing Multiple Object Motion Planning to Graph Searching
• Semilinear motion planning in REDLOG
• Multitasking collision-free optimal motion planning algorithms in Euclidean spaces
• Motion planning in the presence of moving obstacles
• Multi-modal motion planning in non-expansive spaces
• Stochastic reachability based motion planning for multiple moving obstacle avoidance
• scientific article; zbMATH DE number 2085300

Cites work

• A new approach for automatic theorem proving in real geometry
• Applying Linear Quantifier Elimination
• Coordinated motion planning for two independent robots
• scientific article; zbMATH DE number 1684391 (Why is no real title available?)
• scientific article; zbMATH DE number 3951430 (Why is no real title available?)
• scientific article; zbMATH DE number 1263423 (Why is no real title available?)
• Quantifier elimination for real algebra -- the quadratic case and beyond
• Robot motion planning with uncertainty in control and sensing
• Semilinear motion planning in REDLOG
• Simplification of quantifier-free formulae over ordered fields
• The complexity of linear problems in fields

Cited in

(5)

• On multiple moving objects
• scientific article; zbMATH DE number 1684391 (Why is no real title available?)
• Reducing Multiple Object Motion Planning to Graph Searching
• Artificial Intelligence and Soft Computing - ICAISC 2004
• Semilinear motion planning in REDLOG

Describes a project that uses

Uses Software

• REDLOG

This page was built for publication: Multiple object semilinear motion planning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2457425)