| 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 |
| A survey of Concurrent METATEM—the language and its applications M Fisher International Conference on Temporal Logic, 480-505, 1994 | 366 | 1994 |
| Formal verification of ethical choices in autonomous systems L Dennis, M Fisher, M Slavkovik, M Webster Robotics and Autonomous Systems 77, 1-14, 2016 | 320 | 2016 |
| Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001 | 259 | 2001 |
| Verifying multi-agent programs by model checking RH Bordini, M Fisher, W Visser, M Wooldridge Autonomous agents and multi-agent systems 12 (2), 239-256, 2006 | 242 | 2006 |
| Model checking agentspeak RH Bordini, M Fisher, C Pardavila, M Wooldridge Proceedings of the second international joint conference on Autonomous …, 2003 | 228 | 2003 |
| Model checking multi-agent systems with MABLE M Wooldridge, M Fisher, MP Huget, S Parsons Proceedings of the first international joint conference on Autonomous agents …, 2002 | 221 | 2002 |
| 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 |
| METATEM: A framework for programming in temporal logic H Barringer, M Fisher, D Gabbay, G Gough, R Owens Workshop/School/Symposium of the REX Project (Research and Education in …, 1989 | 216 | 1989 |
| Handbook of temporal reasoning in artificial intelligence MD Fisher, DM Gabbay, L Vila Elsevier, 2005 | 211 | 2005 |
| Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19 (1), 5-63, 2012 | 210 | 2012 |
| An introduction to practical formal methods using temporal logic M Fisher John Wiley & Sons, 2011 | 203 | 2011 |
| The imperative future: principles of executable temporal logic H Barringer | 196 | 1996 |
| Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of computer programming 148, 88-106, 2017 | 195 | 2017 |
| Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013 | 190 | 2013 |
| On the formal specification and verification of multi-agent systems M Fisher, M Wooldridge International Journal of Cooperative Information Systems 6 (01), 37-65, 1997 | 185 | 1997 |
| Representing and executing agent-based systems M Fisher International Workshop on Agent Theories, Architectures, and Languages, 307-323, 1994 | 175 | 1994 |
| Practical verification of decision-making in agent-based autonomous systems LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres Automated Software Engineering 23 (3), 305-359, 2016 | 143 | 2016 |
| A normal form for temporal logics and its applications in theorem-proving and execution M Fisher Journal of Logic and Computation 7 (4), 429-456, 1997 | 142 | 1997 |
| Trustworthy ai R Chatila, V Dignum, M Fisher, F Giannotti, K Morik, S Russell, K Yeung Reflections on artificial intelligence for humanity, 13-39, 2021 | 135 | 2021 |
Louise DennisDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
