Constraint satisfaction and constraint optimisation problems can be used to express behaviours of robotic and multi-robotic systems.
On this page we will publish research material, programs and news regarding this topic.
The file CSP-Benchmarks contains benchmarks problems from robotic problems. The problems are intentionally kept small, a solver should be able to deal with most of them in near-realtime.