A frontier-void-based approach for autonomous exploration in 3D
- 期刊名称Advanced Robotics
- 作者Dornhege, Christian; Kleiner, Alexander
- 卷第27卷
- 期第6期
- 印刷ISSN0169-1864
- 电子ISSN1568-5535
- 文件大小923.66KB
- 发表时间2013-04
- DOI10.1080/01691864.2013.763720
- 页码459-468
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Boolean expression diagramsAndersen, H.R.; Hulgaard, H. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Set constraints with intersectionCharatonik, W.; Podelski, A. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - The "Hardest" natural decidable theoryVorobyov, S. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Discrimination by parallel observersDezani-Ciancaglini, M.; Tiuryn, J.; Urzyczyn, P. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Towards a mathematical operational semanticsTuri, D.; Plotkin, G. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Quantitative analysis and model checkingHuth, M.; Kwiatkowska, M. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Automata-driven automated inductionBouhoula, A.; Jouannaud, J.-P. · 1997