Department of Computer Science
University of Liverpool
Contact
Publications
Richard Williams, Boris Konev, and Frans Coenen. "Scalable Distributed Collaborative Tracking and Mapping with Micro Aerial Vehicles." Intelligent Robots and Systems (IROS), 2015 IEEE/RSJ International Conference on.
Richard Williams, Boris Konev, and Frans Coenen. "Collaborating Low Cost Micro Aerial Vehicles: a Demonstration. " Advances in Autonomous Robotics Systems, 2015.
Richard Williams, Boris Konev, and Frans Coenen. "Multi-agent Environment Exploration with AR. Drones. " Advances in Autonomous Robotics Systems, 2014.
Richard Williams and Boris Konev. "Propositional temporal proving with reductions to a SAT problem. " Automated Deduction–CADE-24, 2013.
Richard Williams and Boris. “Simplified temporal resolution using SAT solvers. ” Proceedings of ARW, 2012.
Awards
Grossage Attainment Scholarship for outstanding academic performance. University of Liverpool (2009,2010,2011)
O'Reilly Prize awarded for excellent performance on the module 'Software Engineering'. University of Liverpool (2010)
EPSRC Vacation Bursary Programme Scholarship. University of Liverpool (2011)
BCS Merseyside Student Prize awarded for excellent performance in the final year of study. University of Liverpool (2012)
NA Software Prize for best mathematical software project. University of Liverpool (2012)