| Formal specification and verification of autonomous robotic systems: A survey M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher ACM Computing Surveys (CSUR) 52 (5), 1-41, 2019 | 431 | 2019 |
| Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001 | 259 | 2001 |
| A resolution-based proof method for temporal logics of knowledge and belief M Fisher, M Wooldridge, C Dixon International Conference on Formal and Applied Practical Reasoning, 178-192, 1996 | 219 | 1996 |
| Taxonomy of trust-relevant failures and mitigation strategies S Tolmeijer, A Weiss, M Hanheide, F Lindner, TM Powers, C Dixon, ... Proceedings of the 2020 acm/ieee international conference on human-robot …, 2020 | 138 | 2020 |
| Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012 | 129 | 2012 |
| On formal specification of emergent behaviours in swarm robotic systems AFT Winfield, J Sa, MC Fernández-Gago, C Dixon, M Fisher International journal of advanced robotic systems 2 (4), 39, 2005 | 129 | 2005 |
| A corroborative approach to verification and validation of human–robot teams M Webster, D Western, D Araiza-Illan, C Dixon, K Eder, M Fisher, AG Pipe The International Journal of Robotics Research 39 (1), 73-99, 2020 | 106 | 2020 |
| Resolution for temporal logics of knowledge C Dixon, M Fisher, M Wooldridge Journal of Logic and Computation 8 (3), 345-372, 1998 | 102 | 1998 |
| Toward reliable autonomous robotic assistants through formal verification: A case study M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ... IEEE Transactions on Human-Machine Systems 46 (2), 186-196, 2015 | 96 | 2015 |
| Towards temporal verification of swarm robotic systems C Dixon, AFT Winfield, M Fisher, C Zeng Robotics and Autonomous Systems 60 (11), 1429-1441, 2012 | 86 | 2012 |
| An overview of verification and validation challenges for inspection robots M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ... Robotics 10 (2), 67, 2021 | 75 | 2021 |
| An intelligent process model: predicting springback in single point incremental forming MS Khan, F Coenen, C Dixon, S El-Salhi, M Penalva, A Rivero The International Journal of Advanced Manufacturing Technology 76 (9), 2071-2082, 2015 | 73 | 2015 |
| A tableau-based proof method for temporal logics of knowledge and belief M Wooldridge, C Dixon, M Fisher Journal of applied non-classical logics 8 (3), 225-258, 1998 | 73 | 1998 |
| Formal Verification of an Autonomous Personal Robotic Assistant. M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ... AAAI Spring Symposia, 1-6, 2014 | 57 | 2014 |
| Mechanising first-order temporal resolution B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt Information and Computation 199 (1-2), 55-86, 2005 | 51 | 2005 |
| Temporal resolution using a breadth-first search algorithm C Dixon Annals of Mathematics and Artificial Intelligence 22 (1), 87-115, 1998 | 49 | 1998 |
| Combinations of modal logics B Bennett, C Dixon, M Fisher, U Hustadt, E Franconi, I Horrocks, ... Artificial Intelligence Review 17 (1), 1-20, 2002 | 47 | 2002 |
| Search strategies for resolution in temporal logics C Dixon International Conference on Automated Deduction, 673-687, 1996 | 46 | 1996 |
| Using temporal logics of knowledge in the formal verification of security protocols C Dixon, MCF Gago, M Fisher, W van der Hoek Proceedings. 11th International Symposium on Temporal Representation and …, 2004 | 44 | 2004 |
| Formal verification of probabilistic swarm behaviours S Konur, C Dixon, M Fisher International Conference on Swarm Intelligence, 440-447, 2010 | 43 | 2010 |
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
