BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Michael Fisher
SearchCollections
Map detail
Michael Fisher13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichael FisherAMichael FisherResearcherInvertible Elements of the Misere Dicotic UniverseWInvertible Elements of ...preprint / 2020Towards a Framework for Certification of Reliable Autonomous SystemsWTowards a Framework for...preprint / 2020Chromatic Nim finds a game for your solutionWChromatic Nim finds a g...preprint / 2016Mind the gap: A real-valued distance on combinatorial gamesWMind the gap: A real-va...preprint / 2026Proceedings FM-09 Workshop on Formal Methods for AerospaceWProceedings FM-09 Works...preprint / 2010Agent Based Approaches to Engineering Autonomous Space SoftwareWAgent Based Approaches ...preprint / 2010Practical Verification of Decision-Making in Agent-Based Autonomous SystemsWPractical Verification ...preprint / 2013Towards Verifiably Ethical Robot BehaviourWTowards Verifiably Ethi...preprint / 2015Pressure Fluctuations in Natural Gas Networks caused by Gas-Electric CouplingWPressure Fluctuations i...preprint / 2015An Abstract Formal Basis for Digital CrowdsWAn Abstract Formal Basi...preprint / 2014A Summary of Formal Specification and Verification of Autonomous Robotic SystemsWA Summary of Formal Spe...preprint / 2019Formal Verification of Autonomous Vehicle PlatooningWFormal Verification of ...preprint / 2016
Person12 links

Michael Fisher

Researcher

PaperInvertible Elements of the Misere Dicotic UniverseAuthorship / preprint / 2020PaperTowards a Framework for Certification of Reliable Autonomous SystemsAuthorship / preprint / 2020PaperChromatic Nim finds a game for your solutionAuthorship / preprint / 2016PaperMind the gap: A real-valued distance on combinatorial gamesAuthorship / preprint / 2026PaperProceedings FM-09 Workshop on Formal Methods for AerospaceAuthorship / preprint / 2010PaperAgent Based Approaches to Engineering Autonomous Space SoftwareAuthorship / preprint / 2010PaperPractical Verification of Decision-Making in Agent-Based Autonomous SystemsAuthorship / preprint / 2013PaperTowards Verifiably Ethical Robot BehaviourAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)