Lukasz Bialek, Jacek Szklarski, Marta M. Borkowska, Michal Gnatowski. Reasoning with Four-Valued Logic in Multi-robotic Search-and-Rescue Problem. In Roman Szewczyk, Cezary Zielinski, Malgorzata Kaliczynska, editors, Challenges in Automation, Robotics and Measurement Techniques - Proceedings of AUTOMATION-2016, March 2-4, 2016, Warsaw, Poland. Volume 440 of Advances in Intelligent Systems and Computing, pages 483-499, Springer, 2016. [doi]
Abstract is missing.