Michael Fisher

Citeret af

	Alle	Siden 2020
Henvisninger	11242	3424
h-index	55	30
i10-indeks	198	81

800

400

200

600

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202540 55 60 82 111 177 137 171 220 193 271 276 314 543 323 432 353 382 330 321 292 287 327 339 366 283 394 514 532 791 673 747 596 80

Offentlig adgang

Se alle

83 artikler

3 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Louise DennisDepartment of Computer Science, University of ManchesterVerificeret mail på manchester.ac.uk
Clare DixonUniversity of ManchesterVerificeret mail på manchester.ac.uk
Dr Matt Webster, PhDComputer ScientistVerificeret mail på liverpool.ac.uk
Michael WooldridgeUniversity of OxfordVerificeret mail på cs.ox.ac.uk
Rafael H. BordiniSchool of Technology, PUCRSVerificeret mail på pucrs.br
Marie FarrellThe University of ManchesterVerificeret mail på manchester.ac.uk
Alexei LisitsaUniversity of LiverpoolVerificeret mail på liverpool.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityVerificeret mail på liverpool.ac.uk
Matt LuckcuckAssistant Professor of Computer Science, University of NottinghamVerificeret mail på nottingham.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerificeret mail på liverpool.ac.uk
Marija SlavkovikProfessor in Artificial Intelligence, University of BergenVerificeret mail på infomedia.uib.no
Chiara GhidiniFree University of Bozen-BolzanoVerificeret mail på unibz.it
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerificeret mail på liverpool.ac.uk
Prof. Michael JumpUniversity of LiverpoolVerificeret mail på liverpool.ac.uk
Graham GoughSchool of Computer Science, University of ManchesterVerificeret mail på cs.man.ac.uk
Willem VisserComputer Science Division, Stellenbosch UniversityVerificeret mail på cs.sun.ac.za
Carmen Fernandez GagoUniversity of Malaga (Spain)Verificeret mail på lcc.uma.es
Benjamin HirschDegussa BankVerificeret mail på abhirsch.de
Kerstin DautenhahnCanada 150 Research Chair in Intelligent Robotics, University of WaterlooVerificeret mail på uwaterloo.ca
Michael LuckUniversity of SussexVerificeret mail på sussex.ac.uk

Følg

Michael Fisher

Professor of Computer Science, University of Manchester

Verificeret mail på manchester.ac.uk - Startside

Autonomous Systems Trustworthiness Formal Methods Temporal Logic Model Checking


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
A survey of Concurrent METATEM—the language and its applications M Fisher International Conference on Temporal Logic, 480-505, 1994	364	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	359	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	273	2016
Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001	254	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	240	2006
Model checking agentspeak RH Bordini, M Fisher, C Pardavila, M Wooldridge Proceedings of the second international joint conference on Autonomous …, 2003	226	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 Practical Reasoning: International Conference on Formal and Applied …, 1996	217	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	215	1990
Handbook of temporal reasoning in artificial intelligence MD Fisher, DM Gabbay, L Vila Elsevier, 2005	207	2005
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19, 5-63, 2012	198	2012
The imperative future: principles of executable temporal logic H Barringer	187	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	185	2017
An introduction to practical formal methods using temporal logic M Fisher John Wiley & Sons, 2011	185	2011
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	183	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	182	1997
Representing and executing agent-based systems M Fisher International Workshop on Agent Theories, Architectures, and Languages, 307-323, 1994	172	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	142	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	128	2016
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

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere