Folgen
Michael Fisher
Michael Fisher
Professor of Computer Science, University of Manchester
Bestätigte E-Mail-Adresse bei manchester.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A survey of Concurrent METATEM—the language and its applications
M Fisher
Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July …, 2005
3622005
Clausal temporal resolution
M Fisher, C Dixon, M Peim
ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001
2462001
Model checking agentspeak
RH Bordini, M Fisher, C Pardavila, M Wooldridge
Proceedings of the second international joint conference on Autonomous …, 2003
2192003
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
2152002
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
2121990
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
2102019
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
2082006
A Resolution Method for Temporal Logic.
M Fisher
Ijcai 91, 99-104, 1991
2031991
Formal verification of ethical choices in autonomous systems
L Dennis, M Fisher, M Slavkovik, M Webster
Robotics and Autonomous Systems 77, 1-14, 2016
1912016
The imperative future: principles of executable temporal logic
H Barringer, M Fisher, D Gabbay, R Owens, M Reynolds
John Wiley & Sons, Inc., 1996
1831996
Handbook of temporal reasoning in artificial intelligence
MD Fisher, DM Gabbay, L Vila
Elsevier, 2005
1812005
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
1781997
Representing and executing agent-based systems
M Fisher
Intelligent Agents: ECAI-94 Workshop on Agent Theories, Architectures, and …, 1995
1681995
Model checking agent programming languages
LA Dennis, M Fisher, MP Webster, RH Bordini
Automated software engineering 19, 5-63, 2012
1652012
Formal verification of autonomous vehicle platooning
M Kamali, LA Dennis, O McAree, M Fisher, SM Veres
Science of computer programming 148, 88-106, 2017
1562017
An introduction to practical formal methods using temporal logic
M Fisher
John Wiley & Sons, 2011
1562011
Verifying autonomous systems
M Fisher, L Dennis, M Webster
Communications of the ACM 56 (9), 84-93, 2013
1552013
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
1351997
METATEM: An introduction
H Barringer, M Fisher, D Gabbay, G Gough, R Owens
Formal Aspects of Computing 7, 533-549, 1995
1261995
Formalisms for multi-agent systems
M d'Inverno, M Fisher, A Lomuscio, M Luck, M De Rijke, M Ryan, ...
The Knowledge Engineering Review 12 (3), 315-321, 1997
1201997
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20