Multiple object semilinear motion planning

DOI10.1016/J.JSC.2006.11.001zbMath1119.68200OpenAlexW2119295927MaRDI QIDQ2457425

Volker Weispfenning, Andreas Dolzmann

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

motion planninglinear real quantifier eliminationREDLOGtrajectory finding

Mathematics Subject Classification ID

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

Uses Software

• REDLOG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantifier elimination for real algebra -- the quadratic case and beyond
• The complexity of linear problems in fields
• Robot motion planning with uncertainty in control and sensing
• A new approach for automatic theorem proving in real geometry
• Coordinated motion planning for two independent robots
• Simplification of quantifier-free formulae over ordered fields
• Applying Linear Quantifier Elimination
• Semilinear motion planning in REDLOG

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