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
- 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
- Zkracování řešení problémů plánování cest pro mnoho robotů pomocí slabých transpozic a kritické cesty2009 | Matematicko-fyzikální fakulta
- Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding A Novel SAT-based Optimal MAPF Solver2017 | Matematicko-fyzikální fakulta
Loading network view...