Publikace
- Propositional Satisfiability Benchmarks Constructed from Multi-Robot Path Planning on Graphs2013 | Matematicko-fyzikální fakulta
- Optimální kooperativní hledání cest řešené pomocí výrokové splnitelnosti2013 | Matematicko-fyzikální fakulta
- Towards Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving2012 | Matematicko-fyzikální fakulta
- Near Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving2012 | Matematicko-fyzikální fakulta
- Application of Propositional Satistiability to Special Cases of Cooperative Path-Planning2012 | Matematicko-fyzikální fakulta
- On Improving Plan Quality via Local Enhancements2012 | Matematicko-fyzikální fakulta
- Shortening Plans by Local Re-Planning2012 | Matematicko-fyzikální fakulta
- Redundancy Elimination in Highly Parallel Solutions of Motion Coordination Problems +12011 | Matematicko-fyzikální fakulta
- Nový přístup k řešení plánování cest pro mnoho robotů v 2-souvislých grafech2009 | Matematicko-fyzikální fakulta
- Aplikace problémů pohybu po grafu na plánování cest pro mnoho robotů2009 | Matematicko-fyzikální fakulta
Loading network view...