Michael Fisher

Citata da

	Tutte	Dal 2019
Citazioni	10966	3708
Indice H	55	32
i10-index	193	81

780

390

195

585

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202434 59 60 80 110 172 140 175 201 195 271 276 302 548 320 434 349 384 296 320 312 285 327 340 346 277 415 496 532 777 672 764 459

Accesso pubblico

Visualizza tutto

81 articoli

3 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Louise DennisDepartment of Computer Science, University of ManchesterEmail verificata su manchester.ac.uk
Clare DixonUniversity of ManchesterEmail verificata su manchester.ac.uk
Dr Matt Webster, PhDComputer ScientistEmail verificata su liverpool.ac.uk
Michael WooldridgeUniversity of OxfordEmail verificata su cs.ox.ac.uk
Rafael H. BordiniSchool of Technology, PUCRSEmail verificata su pucrs.br
Marie FarrellThe University of ManchesterEmail verificata su manchester.ac.uk
Alexei LisitsaUniversity of LiverpoolEmail verificata su liverpool.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityEmail verificata su liverpool.ac.uk
Matt LuckcuckAssistant Professor of Computer ScienceEmail verificata su nottingham.ac.uk
Sandor VeresProfessor of Autonomous Control SystemsEmail verificata su sheffield.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolEmail verificata su liverpool.ac.uk
Marija SlavkovikProfessor in Artificial Intelligence, University of BergenEmail verificata su infomedia.uib.no
Chiara GhidiniFree University of Bozen-BolzanoEmail verificata su unibz.it
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupEmail verificata su liverpool.ac.uk
Prof. Michael JumpUniversity of LiverpoolEmail verificata su liverpool.ac.uk
Graham GoughSchool of Computer Science, University of ManchesterEmail verificata su cs.man.ac.uk
Willem VisserComputer Science Division, Stellenbosch UniversityEmail verificata su cs.sun.ac.za
Carmen Fernandez GagoUniversity of Malaga (Spain)Email verificata su lcc.uma.es
Benjamin HirschDegussa BankEmail verificata su abhirsch.de
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooEmail verificata su uwaterloo.ca

Segui

Michael Fisher

Professor of Computer Science, University of Manchester

Email verificata su manchester.ac.uk - Home page

Autonomous Systems Trustworthiness Formal Methods Temporal Logic Model Checking


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
A survey of Concurrent METATEM—the language and its applications M Fisher International Conference on Temporal Logic, 480-505, 1994	367	1994
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	336	2019
Formal verification of ethical choices in autonomous systems L Dennis, M Fisher, M Slavkovik, M Webster Robotics and Autonomous Systems 77, 1-14, 2016	262	2016
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	257	2001
Verifying multi-agent programs by model checking RH Bordini, M Fisher, W Visser, M Wooldridge Autonomous agents and multi-agent systems 12, 239-256, 2006	228	2006
Model checking agentspeak RH Bordini, M Fisher, C Pardavila, M Wooldridge Proceedings of the second international joint conference on Autonomous …, 2003	225	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	222	2002
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	214	1996
METATEM: A framework for programming in temporal logic H Barringer, M Fisher, D Gabbay, G Gough, R Owens Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990	212	1990
Handbook of temporal reasoning in artificial intelligence MD Fisher, DM Gabbay, L Vila Elsevier, 2005	205	2005
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19, 5-63, 2012	189	2012
The imperative future: principles of executable temporal logic H Barringer	187	1996
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	183	1997
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	181	2013
An introduction to practical formal methods using temporal logic M Fisher John Wiley & Sons, 2011	181	2011
Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of computer programming 148, 88-106, 2017	179	2017
Representing and executing agent-based systems M Fisher International Workshop on Agent Theories, Architectures, and Languages, 307-323, 1994	170	1994
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	140	1997
Practical verification of decision-making in agent-based autonomous systems LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres Automated Software Engineering 23, 305-359, 2016	129	2016
Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012	125	2012

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori