Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Heeseung Jo
Claudia Calabrese
Carlos Guerrero Millan
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Rob A. Beuker
Radu Timofte
Kuanrui Yin
Home
/
Author
/
MICHAEL FISHER
Author Info
Open Visualization
Name
Affiliation
Papers
MICHAEL FISHER
University of Liverpool, UK
15
Collaborators
Citations
PageRank
34
96
7.91
Referers
Referees
References
226
421
192
Search Limit
100
421
Publications (15 rows)
Collaborators (34 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
A corroborative approach to verification and validation of human–robot teams
2
0.39
2020
Making Sense Of The World: Framing Models For Trustworthy Sensor-Driven Systems
0
0.34
2018
Two-stage agent program verification
2
0.39
2018
Practical Challenges in Explicit Ethical Machine Reasoning.
1
0.36
2018
Autonomous Nuclear Waste Management.
1
0.35
2018
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.
2
0.38
2017
Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior.
0
0.34
2017
An Assurance-based Approach to Verification and Validation of Human-Robot Teams.
1
0.36
2016
Formal verification of ethical choices in autonomous systems
26
0.98
2016
Formal verification of a pervasive messaging system
7
0.60
2014
Formal methods for the certification of autonomous unmanned aircraft systems
18
0.85
2011
Deductive verification of simple foraging robotic behaviours
9
0.49
2009
Distinguishing colorings of Cartesian products of complete graphs
14
0.98
2008
Is There a Future for Deductive Temporal Verification?
7
0.47
2006
Foundations of Multi-Agent Systems: Techniques, Tools and Theory
6
0.64
1998
1