Publications
- Propositional Satisfiability Benchmarks Constructed from Multi-Robot Path Planning on Graphs2013 | Faculty of Mathematics and Physics
- Optimal Cooperative Path Planning through Satisfiability Solving2013 | Faculty of Mathematics and Physics
- Towards Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving2012 | Faculty of Mathematics and Physics
- Near Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving2012 | Faculty of Mathematics and Physics
- Application of Propositional Satistiability to Special Cases of Cooperative Path-Planning2012 | Faculty of Mathematics and Physics
- On Improving Plan Quality via Local Enhancements2012 | Faculty of Mathematics and Physics
- Shortening Plans by Local Re-Planning2012 | Faculty of Mathematics and Physics
- Redundancy Elimination in Highly Parallel Solutions of Motion Coordination Problems +12011 | Faculty of Mathematics and Physics
- A Novel Approach to Path Planning for Multiple Robots in Bi-connected Graphs2009 | Faculty of Mathematics and Physics
- An Application of Pebble Motion on Graphs to Abstract Multi-robot Path Planning2009 | Faculty of Mathematics and Physics
Loading network view...