Michael Fisher
University of Manchester(GB)Assembly of First Nations(CA)R.U.Robots (United Kingdom)(GB)Manchester University(US)
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, Formal Methods in Verification, Multi-Agent Systems and Negotiation, Logic, programming, and type systems, Semantic Web and Ontologies
Most-Cited Works
- Grooming, Gossip, and the Evolution of Language(1998)
- → Formal Specification and Verification of Autonomous Robotic Systems(2019)252 cited
- → A survey of concurrent MetateM — The language and its applications(2005)219 cited
- → Formal verification of ethical choices in autonomous systems(2015)207 cited
- → Model checking agent programming languages(2011)190 cited
- → Clausal temporal resolution(2001)171 cited
- → Verifying Multi-agent Programs by Model Checking(2006)163 cited