| 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 | 364 | 2019 |
| Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001 | 257 | 2001 |
| A resolution-based proof method for temporal logics of knowledge and belief M Fisher, M Wooldridge, C Dixon Practical Reasoning: International Conference on Formal and Applied …, 1996 | 215 | 1996 |
| Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012 | 127 | 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 | 119 | 2005 |
| 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 | 112 | 2020 |
| Resolution for temporal logics of knowledge C Dixon, M Fisher, M Wooldridge Journal of Logic and Computation 8 (3), 345-372, 1998 | 105 | 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 | 89 | 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 | 85 | 2012 |
| 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 | 83 | 2020 |
| 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 | 72 | 1998 |
| 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, 2071-2082, 2015 | 63 | 2015 |
| Formal verification of an autonomous personal robotic assistant M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ... 2014 AAAI Spring Symposium Series, 2014 | 57 | 2014 |
| 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 | 55 | 2021 |
| Temporal resolution using a breadth-first search algorithm C Dixon Annals of Mathematics and Artificial Intelligence 22, 87-115, 1998 | 50 | 1998 |
| Mechanising first-order temporal resolution B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt Information and Computation 199 (1-2), 55-86, 2005 | 49 | 2005 |
| Search strategies for resolution in temporal logics C Dixon International Conference on Automated Deduction, 673-687, 1996 | 48 | 1996 |
| Combinations of modal logics B Bennett, C Dixon, M Fisher, U Hustadt, E Franconi, I Horrocks, ... Artificial Intelligence Review 17 (1), 1-20, 2002 | 45 | 2002 |
| 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 | 43 | 2004 |
| Clausal resolution for normal modal logics C Nalon, C Dixon Journal of Algorithms 62 (3-4), 117-134, 2007 | 41 | 2007 |
Michael FisherProfessor of Computer Science, University of Manchestermanchester.ac.uk의 이메일 확인됨