Michael Fisher

Michael Fisher, J. Deatrick, T. Hardie, 2014, Health psychology : official journal of the Division of Health Psychology, American Psychological Association.

Atypical teratoid rhabdoid tumor in a child with neurofibromatosis type 2: A novel dual diagnosis.

Marilyn M. Li, Michael Fisher, M. Santi, 2021, Cancer genetics.

Its Avoidance Cerebral Artery Occlusion : Adverse Effects of Hypothalamic Damage and Strategies for Neuroprotective Effects of MK-801 in Different Rat Stroke Models for Permanent Middle

Michael Fisher, M. Kaps, G. Bachmann, 2003 .

Reproducibility of cognitive endpoints in clinical trials

Packer, G. Gioia, Michael Fisher, 2019 .

Orbital/Peri-Orbital Plexiform Neurofibromas in Children with Neurofibromatosis type 1: Multi-disciplinary Recommendations for Care

Michael Fisher, B. Widemann, E. Dombi, 2016 .

Selumetinib in Children with Neurofibromatosis Type 1 and Asymptomatic Inoperable Plexiform Neurofibroma At Risk for Developing Tumor-Related Morbidity.

S. Steinberg, Michael Fisher, S. Paul, 2022, Neuro-oncology.

Long‐term efficacy and toxicity of bevacizumab‐based therapy in children with recurrent low‐grade gliomas

Michael Fisher, R. Packer, G. Vezina, 2013, Pediatric blood & cancer.

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII)

Guido Governatori, Mehdi Dastani, Leon van der Torre, 2014, J. Log. Comput..

Serial assessment of measurable residual disease in medulloblastoma liquid biopsies.

Michael Fisher, T. Merchant, P. Northcott, 2021, Cancer cell.

A multi-institutional study of brainstem gliomas in childrenwith neurofibromatosis type 1

Michael Fisher, R. McKinstry, D. Gutmann, 2022 .

If Z Is the Answer, What Could the Question Possibly Be?

Michael Fisher, Michael Fisher, 1996, ATAL.

Imaging Evaluation of Plexiform Neurofibromas in Neurofibromatosis Type 1

L. Fayad, Michael Fisher, G. Harris, 2021, Neurology.

Guideline for Children With Cancer Receiving General Anesthesia for Procedures and Imaging

Michael Fisher, J. Minturn, R. Bagatell, 2022, Journal of pediatric hematology/oncology.

Lucy's Legacy

Jolly, Michael Fisher, 2001 .

Continuous fabrication of high-temperature superconductor coated metal fiber and multifilamentary wire

T. L. Figueroa, Michael Fisher, T. Ohkawa, 1991 .

Where Logic and Agents Meet 1

Michael Fisher, J. Dix, 2011 .

Automated reasoning about metric and topology (System description)

Michael Fisher, Alexei Lisitsa, Boris Konev, 2006 .

RESOLUTION FOR SYNCHRONY AND NO LEARNING ( FULL VERSION )

Michael Fisher, C. Dixon, C. Nalon, 2004 .

Proceedings of the Automated Reasoning Workshop 2008

Abdur Rakib, Michael Fisher, Alexander Bolotov, 2008 .

Temporal Representation and Reasoning

Michael Fisher, Michael Fisher, 2008, Handbook of Knowledge Representation.

Handbook of Temporal Reasoning in Artificial Intelligence

Dov M. Gabbay, Michael Fisher, Lluis Vila, 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

MetateM: An introduction

Dov M. Gabbay, Michael Fisher, Howard Barringer, 1995, Formal Aspects of Computing.

An introduction to executable temporal logics

Michael Fisher, Michael Fisher, 1996, The Knowledge Engineering Review.

An Introduction to Executable Modal and Temporal Logics

Michael Fisher, Richard Owens, Michael Fisher, 1993, Executable Modal and Temporal Logics.

Monodic ASMs and Temporal Verification

Michael Fisher, Alexei Lisitsa, Michael Fisher, 2004, Abstract State Machines.

Immune hemolytic anemia with drug‐induced antibodies to carboplatin and vincristine in a pediatric patient with an optic pathway glioma

Michael Fisher, M. Weiss, C. Witmer, 2014, Transfusion.

Representing Abstract Agent Architectures

Michael Fisher, Michael Fisher, 1998, ATAL.

An Open Label, Adaptive, Phase 1 Trial of High‐Dose Oral Nitazoxanide in Healthy Volunteers: An Antiviral Candidate for SARS‐CoV‐2

Michael Fisher, T. Jaki, S. Khoo, 2021, medRxiv.

Multi‐institutional analysis of treatment modalities in basal ganglia and thalamic germinoma

Michael Fisher, J. Finlay, Jeffrey C. Allen, 2021, Pediatric blood & cancer.

The Year’s Work in Tolkien Studies 2012

Michael Fisher, Merlin DeTardo, Merlin Jason David Marjorie John Wm. John Bratman, 2015 .

MEK Inhibitors for Neurofibromatosis Type 1 Manifestations: Clinical Evidence and Consensus.

M. Loh, Michael Fisher, K. Walsh, 2022, Neuro-oncology.

Revised diagnostic criteria for neurofibromatosis type 1 and Legius syndrome: an international consensus recommendation

Michael Fisher, A. Stemmer-Rachamimov, B. Korf, 2021, Genetics in Medicine.

Near complete surgical resection predicts a favorable outcome in pediatric patients with nonbrainstem, malignant gliomas

Hui-Kuo G Shu, Amit Maity, Michael Fisher, 2004, Cancer.

Objective response of multiply recurrent low‐grade gliomas to bevacizumab and irinotecan

T. MacDonald, Michael Fisher, R. Packer, 2009, Pediatric blood & cancer.

Sirolimus for progressive neuroﬁbromatosis type 1 – associated plexiform neuroﬁbromas: a Neuroﬁbromatosis Clinical Trials Consortium phase II study

Michael Fisher, B. Korf, D. Gutmann, 2015 .

Comparison of Visual Acuity Results Between ATS-HOTV and E-ETDRS Testing Methods in Children With Optic Pathway Gliomas

Michael Fisher, G. Ying, G. Quinn, 2022, Translational vision science & technology.

Impact of MEK inhibitor therapy on neurocognition in neurofibromatosis type 1

Michael Fisher, K. Walsh, B. Widemann, 2020, medRxiv.

Cabozantinib for neurofibromatosis type 1–related plexiform neurofibromas: a phase 2 trial

Michael Fisher, B. Korf, G. Cutter, 2021, Nature Medicine.

CTF meeting 2012: Translation of the basic understanding of the biology and genetics of NF1, NF2, and schwannomatosis toward the development of effective therapies

Michael Fisher, B. Korf, J. Kissil, 2014, American journal of medical genetics. Part A.

Gender as a disease modifier in neurofibromatosis type 1 optic pathway glioma

Michael Fisher, R. Hoffman, J. Charrow, 2014, Annals of neurology.

COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS

Paolo Torroni, Rafael H. Bordini, Michael Fisher, 2007, Comput. Intell..

Specifying and reasoning about uncertain agents

Michael Fisher, Wiebe van der Hoek, Nivea de Carvalho Ferreira, 2008, Int. J. Approx. Reason..

Carboplatin Rechallenge After Hypersensitivity Reactions in Pediatric Patients With Low‐Grade Glioma

Michael Fisher, K. Cole, J. Minturn, 2016, Pediatric blood & cancer.

Update from the 2013 international neurofibromatosis conference

Michael Fisher, A. Lloyd, A. Stemmer-Rachamimov, 2014, American journal of medical genetics. Part A.

Trustworthy Autonomous Systems Through Verifiability

Michael Fisher, Louise Dennis, J. Woodcock, 2023, Computer.

Coding and Redundancy

Michael Fisher, Hailman, Michael Fisher, 2008 .

Concordance between the chang and the International Society of Pediatric Oncology (SIOP) ototoxicity grading scales in patients treated with cisplatin for medulloblastoma

Shaum P. Bhagat, Michael Fisher, J. Gurney, 2014, Pediatric blood & cancer.

Where logic and agents meet

Jürgen Dix, Michael Fisher, Michael Fisher, 2010, Annals of Mathematics and Artificial Intelligence.

Temporal Development Methods for Agent-Based

Michael Fisher, Michael Fisher, 2004, Autonomous Agents and Multi-Agent Systems.

Model checking multi-agent systems with MABLE

Michael Wooldridge, Michael Fisher, Simon Parsons, 2002, AAMAS '02.

A Pilot Study of Low-Dose Craniospinal Irradiation in Patients With Newly Diagnosed Average-Risk Medulloblastoma

Michael Fisher, I. Gibbs, B. Lange, 2021, Frontiers in Oncology.

Gliomatosis cerebri: 20 Years of experience at the Children's Hospital of Philadelphia

A. Localio, Michael Fisher, A. Localio, 2006, Cancer.

Multi-scale verification of distributed synchronisation

Clare Dixon, Michael Fisher, Ullrich Hustadt, 2018, Formal Methods Syst. Des..

Uncertain Agent Verification through Probabilistic Model-Checking

Michael Wooldridge, Michael Fisher, Paolo Ballarini, 2009, Safety and Security in Multiagent Systems.

Concurrent MetateM Processes - A Language for Distributed AI

Michael Fisher, Howard Barringer, Michael Fisher, 1991 .

Practical Reasoning for Uncertain Agents

Michael Fisher, Wiebe van der Hoek, Nivea de Carvalho Ferreira, 2004, JELIA.

Computational results for very large air crew scheduling problems

Michael Fisher, Edward K. Baker, E. K. Baker, 1981 .

Model checking agent programming languages

Rafael H. Bordini, Michael Fisher, Louise A. Dennis, 2012, Automated Software Engineering.

Mixed Cerebrovascular Disease and the Future of Stroke Prevention

Michael Fisher, V. Vasilevko, D. Cribbs, 2012, Translational Stroke Research.

Taming the Complexity of Temporal Epistemic Reasoning

Clare Dixon, Michael Fisher, Boris Konev, 2009, FroCoS.

A Survey of Concurrent METATEM - the Language and its Applications

Michael Fisher, Michael Fisher, 1994, ICTL.

Alternating automata and temporal logic normal forms

Clare Dixon, Michael Fisher, Alexander Bolotov, 2005, Ann. Pure Appl. Log..

A Common Basis for Agent Organisation in BDI Languages

Michael Fisher, Louise A. Dennis, Anthony Hepple, 2008, LADS.

Mechanising first-order temporal resolution

Clare Dixon, Michael Fisher, Boris Konev, 2005, Inf. Comput..

A Pilot Randomized Clinical Trial of Intranasal Oxytocin to Promote Weight Loss in Individuals With Hypothalamic Obesity

Michael Fisher, F. Plessow, Arjun Ramakrishnan, 2023, Journal of the Endocrine Society.

Combinations of Modal Logics

Ian Horrocks, M. de Rijke, Maarten de Rijke, 2002, Artificial Intelligence Review.

Tableaux for temporal logics of knowledge: synchronous systems of perfect recall or no learning

Clare Dixon, Michael Fisher, Cláudia Nalon, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief

Michael Wooldridge, Clare Dixon, Michael Fisher, 1998, J. Appl. Non Class. Logics.

A Decision Procedure for a Temporal Belief Logic

Michael Wooldridge, Michael Fisher, Michael Fisher, 1994, ICTL.

Verifiable Self-Certifying Autonomous Systems

Michael Fisher, David Flynn, Valentin Robu, 2018, 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

An abstract formal basis for digital crowds

Michael Fisher, Louise Dennis, M. Slavkovik, 2014, Distributed and Parallel Databases.

Towards the Verification of Pervasive Systems

Mark Ryan, Michael Fisher, Sven Schewe, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Model Checking for Multiagent Systems: the Mable Language and its Applications

Michael Wooldridge, Michael Fisher, Simon Parsons, 2006, Int. J. Artif. Intell. Tools.

Formal Specification and Verification of Autonomous Robotic Systems

Clare Dixon, Michael Fisher, Marie Farrell, 2018, ACM Comput. Surv..

Verifying autonomous systems

Michael Fisher, Louise A. Dennis, Matthew P. Webster, 2013, CACM.

Recognising Assumption Violations in Autonomous Systems Verification

Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2018, AAMAS.

"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours

Clare Dixon, Michael Fisher, Kerstin Dautenhahn, 2014, TAROS.

Formal Verification of an Autonomous Personal Robotic Assistant

Clare Dixon, Michael Fisher, Kerstin Dautenhahn, 2014, AAAI Spring Symposia.

Towards Moral Autonomous Systems pdf

Michael Fisher, Marija Slavkovik, Roman Yampolskiy, 2017, ArXiv.

Temporal Logics of Knowledge and their Applications in Security

Clare Dixon, Michael Fisher, Wiebe van der Hoek, 2007, ICS@SYNASC.

First-Order Temporal Verification in Practice

Clare Dixon, Michael Fisher, Boris Konev, 2005, Journal of Automated Reasoning.

Using temporal logics of knowledge in the formal verification of security protocols

Clare Dixon, Michael Fisher, Wiebe van der Hoek, 2004, Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004..

Tableaux for logics of time and knowledge with interactions relating to synchrony

Clare Dixon, Michael Fisher, Cláudia Nalon, 2004, J. Appl. Non Class. Logics.

Clausal resolution in a logic of rational agency

Clare Dixon, Michael Fisher, Alexander Bolotov, 2002, Artif. Intell..

Resolution in a Logic of Rational Agency

Clare Dixon, Michael Fisher, Alexander Bolotov, 2000 .

Resolution-based proof for multi-modal temporal logics of knowledge

Clare Dixon, Michael Fisher, Michael Fisher, 2000, Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000.

Verification within the KARO Agent Theory

Clare Dixon, Michael Fisher, John-Jules Ch. Meyer, 2000, FAABS.

Resolution for Temporal Logics of Knowledge

Michael Wooldridge, Clare Dixon, Michael Fisher, 1998, J. Log. Comput..

Clausal Resolution for Logics of Time and Knowledge with Synchrony and Perfect Recall

Clare Dixon, Michael Fisher, Michael Fisher, 2000 .

Automated Verification of Multi-Agent Programs

Rafael H. Bordini, Michael Fisher, Berndt Farwer, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

Formal verification of ethical choices in autonomous systems

Michael Fisher, Marija Slavkovik, Louise A. Dennis, 2016, Robotics Auton. Syst..

The Set of Support strategy in temporal resolution

Clare Dixon, Michael Fisher, Michael Fisher, 1998, Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157).

Guiding Clausal Temporal Resolution

Clare Dixon, Michael Fisher, Michael Fisher, 2000 .

From the Past to the Future: Executing Temporal Logic Programs

Michael Fisher, Richard Owens, Michael Fisher, 1992, LPAR.

Distributed Problem-Solving as Concurrent Theorem Proving

Michael Wooldridge, Michael Fisher, Michael Fisher, 1997, MAAMAW.

Deductive temporal reasoning with constraints

Clare Dixon, Michael Fisher, Boris Konev, 2013, J. Appl. Log..

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots

Michael Fisher, Louise A. Dennis, Paul Bremner, 2019, Proceedings of the IEEE.

Formal verification of autonomous vehicle platooning

Michael Fisher, Maryam Kamali, Sandor M. Veres, 2016, Sci. Comput. Program..

A roadmap to pervasive systems verification

Michael Fisher, Savas Konur, Michael Fisher, 2014, The Knowledge Engineering Review.

Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation

Michael Fisher, Neil Cameron, Matthew P. Webster, 2014, J. Aerosp. Inf. Syst..

Autonomous Asteroid Exploration by Rational Agents

Michael Fisher, Alexei Lisitsa, Sandor M. Veres, 2013, IEEE Computational Intelligence Magazine.

Practical verification of decision-making in agent-based autonomous systems

Michael Fisher, Alexei Lisitsa, Sandor M. Veres, 2013, Automated Software Engineering.

Combined model checking for temporal, probabilistic, and real-time logics

Michael Fisher, Sven Schewe, Savas Konur, 2013, Theor. Comput. Sci..

Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation

Michael Fisher, Michael Jump, Neil Cameron, 2012, Infotech@Aerospace.

Agent deliberation in an executable temporal framework

Michael Fisher, Michael Fisher, 2011, J. Appl. Log..

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems

Michael Fisher, Neil Cameron, Matthew P. Webster, 2011, SAFECOMP.

A Formal Semantics for Brahms

Maarten Sierhuis, Clare Dixon, Michael Fisher, 2011, CLIMA.

Executable specifications of resource-bounded agents

Michael Fisher, Chiara Ghidini, Michael Fisher, 2010, Autonomous Agents and Multi-Agent Systems.

Formal verification of human-robot teamwork

Maarten Sierhuis, Rafael H. Bordini, Michael Fisher, 2009, 2009 4th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

Towards the Verification of Human-Robot Teams

Maarten Sierhuis, Rafael H. Bordini, Michael Fisher, 2005 .

MetateM: The Story so Far

Michael Fisher, Michael Fisher, 2005, PROMAS.

Reconfigurable Autonomy

S. Veres, Michael Fisher, Yang Gao, 2014, KI - Künstliche Intelligenz.

Model Checking and the Certification of Autonomous Unmanned Aircraft Systems

Michael Fisher, Michael Jump, Neil Cameron, 2011 .

An agent based framework for adaptive control and decision making of autonomous vehicles

Michael Fisher, Alexei Lisitsa, Sandor M. Veres, 2010, ALCOSP.

ANALYSING HUMAN-AGENT TEAMWORK

Maarten Sierhuis, Rafael H. Bordini, Michael Fisher, 2008 .

Organising Computation through Dynamic Grouping

Michael Fisher, Benjamin Hirsch, Chiara Ghidini, 2003, Objects, Agents, and Features.

Property-based Slicing for Agent Verification

Michael Wooldridge, Rafael H. Bordini, Michael Fisher, 2009, J. Log. Comput..

Towards Verifiably Ethical Robot Behaviour pdf

Michael Fisher, Alan F. T. Winfield, Louise A. Dennis, 2015, AAAI Workshop: AI and Ethics.

Temporal Logic with Capacity Constraints

Clare Dixon, Michael Fisher, Boris Konev, 2007, FroCoS.

A model checker for linear time temporal logic

Michael Fisher, Michael Fisher, 1992, Formal Aspects of Computing.

METATEM: A Framework for Programming in Temporal Logic

Dov M. Gabbay, Michael Fisher, Howard Barringer, 1989, REX Workshop.

Advances in Temporal Logic

Dov M. Gabbay, Michael Fisher, Howard Barringer, 2000 .

DYNAMIC TEAM FORMATION IN EXECUTABLE AGENT-BASED SYSTEMS

Michael Fisher, Chiara Ghidini, Antony Kakoudakis, 2006 .

Temporal Development Methods for Agent-Based Systems

Michael Fisher, L Liverpool, Michael Fisher, 2005 .

Analysing robot swarm behaviour via probabilistic model checking

Clare Dixon, Michael Fisher, Savas Konur, 2012, Robotics Auton. Syst..

Handbook of Temporal Reasoning in AI

Dov M. Gabbay, Michael Fisher, Lluis Vila, 2005 .

A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution

Michael Fisher, Michael Fisher, 1997, J. Log. Comput..

Representing and Executing Agent-Based Systems

Michael Fisher, Michael Fisher, 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

Towards a Semantics for Concurrent METATEM

Michael Fisher, Michael Fisher, 1993, Executable Modal and Temporal Logics.

Metatem at work: modelling reactive systems using executable temporal logic

Marcelo Finger, M. Fisher, R. Owens, 1993 .

A Normal Form for First-Order Temporal Formulae

Michael Fisher, Michael Fisher, 1992, CADE.

Executable Temporal Logic for Distributed A.I

Michael Wooldridge, Michael Fisher, Michael Fisher, 2002 .

A Logical Approach to the Representation of Societies of Agents

Michael Wooldridge, Michael Fisher, Michael Fisher, 1995 .

Executable Modal and Temporal Logics

Michael Fisher, Richard Owens, Michael Fisher, 1993, Lecture Notes in Computer Science.

A logical approach to simulating societies

Michael Wooldridge, Michael Fisher, Michael Fisher, 2006 .

Towards temporal verification of swarm robotic systems

Clare Dixon, Michael Fisher, Alan F. T. Winfield, 2012, Robotics Auton. Syst..

Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems

Clare Dixon, Michael Fisher, Alan F. T. Winfield, 2011, TAROS.

Towards the implementation of first-order temporal resolution: the expanding domain case

Clare Dixon, Michael Fisher, Boris Konev, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

MULTICENTER TRIAL OF FLUOCINONIDE IN AN EMOLLIENT CREAM BASE

A. P. Kelly, Michael Fisher, M. Fisher, 1979, International journal of dermatology.

Actions with Durations and Failures in BDI Languages

Michael Fisher, Louise A. Dennis, Michael Fisher, 2014, ECAI.

Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study

Clare Dixon, Michael Fisher, Kerstin Dautenhahn, 2021, Paladyn J. Behav. Robotics.

Amifostine for children with medulloblastoma treated with cisplatin‐based chemotherapy

Michael Fisher, H. Shu, P. Adamson, 2004, Pediatric blood & cancer.

Research and Development of a VST Plug-in for the Autonomous Post Production of a Stereo Piano Recording

Michael Fisher, Michael Fisher, 2012 .

A generic Digital Imaging and Communications in Medicine solution for a bidirectional interface between the modality and the radiology information system

Edward M. Smith, Michael Fisher, Joshua D. Ruffel, 1999, Journal of Digital Imaging.

Verification of Autonomous Systems [TC Spotlight]

Signe A. Redfield, Michael Fisher, Kevin J. Leahy, 2022, IEEE Robotics Autom. Mag..

Temporal Representation and Reasoning

Michael Fisher, 2008, Handbook of Knowledge Representation.

Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification

Michael Fisher, Savas Konur, Michael Fisher, 2011, 2011 IEEE 73rd Vehicular Technology Conference (VTC Spring).

Selumetinib in Children with Inoperable Plexiform Neurofibromas.

Seth M Steinberg, David J Venzon, D Wade Clapp, 2020, The New England journal of medicine.

Management of Neurofibromatosis Type 1-Associated Plexiform Neurofibromas.

Michael Fisher, G. Harris, M. Bredella, 2022, Neuro-oncology.

Risk Factors for Treatment Refractory and Relapsed Optic Pathway Glioma in Children with Neurofibromatosis Type 1.

Michael Fisher, D. Gutmann, P. de Blank, 2022, Neuro-oncology.

Vinblastine/Methotrexate for Debilitating and Progressive Plexiform Neurofibroma in Children and Young Adults with Neurofibromatosis Type 1: A Phase 2 Study

Michael Fisher, E. Dombi, J. Minturn, 2023, Cancers.

Retrospective Cohort Analysis of the Impact of Puberty on Plexiform Neurofibroma Growth in Patients with Neurofibromatosis Type 1

Michael Fisher, B. Widemann, E. Dombi, 2023, Jornal de Pediatria.

Long-Term Safety and Efficacy of Selumetinib in Children with Neurofibromatosis Type 1 on a Phase 1/2 Trial for Inoperable Plexiform Neurofibromas.

S. Steinberg, Michael Fisher, D. Venzon, 2023, Neuro-oncology.

Updates in the Management of Central and Peripheral Nervous System Tumors among Patients with Neurofibromatosis Type 1 and Neurofibromatosis Type 2

Michael Fisher, S. Brosius, Chelsea Kotch, 2023, Pediatric Neurosurgery.

Practical Challenges in Explicit Ethical Machine Reasoning pdf

Michael Fisher, Louise A. Dennis, Michael Fisher, 2018, ISAIM.

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification

Michael Fisher, Lucas E. R. Fernandes, Gleifer V. Alves, 2017, FVAV@iFM.

Programming Verifiable Heterogeneous Agent Systems

Michael Fisher, Louise A. Dennis, Michael Fisher, 2009, ProMAS.

Verifiable Multi-agent Programs

Michael Wooldridge, Rafael H. Bordini, Michael Fisher, 2003, PROMAS.

Implementing BDI-like Systems by Direct Execution

Michael Fisher, Michael Fisher, 1997, IJCAI.

Specifying and Verifying Distributed Intelligence Systems

Michael Wooldridge, Michael Fisher, Michael Fisher, 1993, EPIA.

A First-Order Branching Time Logic of Multi-Agent System

Michael Wooldridge, Michael Fisher, Michael Fisher, 1992, ECAI.

Formal Speciﬁcation and Veriﬁcation of Autonomous Robotic Systems: A Survey

Michael Fisher, Louise Dennis, C. Dixon, 2022 .

Equality and Monodic First-Order Temporal Logic

Michael Fisher, Alexei Lisitsa, Anatoli Degtyarev, 2002, Stud Logica.

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages

Clare Dixon, Michael Fisher, Matthew Bradbury, 2019, SEFM.

Probabilistic Model Checking of Robots Deployed in Extreme Environments

Michael Fisher, David Flynn, Valentin Robu, 2018, AAAI.

Robotics and Integrated Formal Methods: Necessity meets Opportunity

Michael Fisher, Marie Farrell, Matt Luckcuck, 2018, IFM.

CRutoN: Automatic Verification of a Robotic Assistant's Behaviours

Clare Dixon, Michael Fisher, Ullrich Hustadt, 2017, FMICS-AVoCS.

Formal Verification of Probabilistic Swarm Behaviours

Clare Dixon, Michael Fisher, Savas Konur, 2010, ANTS Conference.

Formal verification of human-robot teamwork

Rafael Heitor Bordini, Michael Fisher, M. Sierhuis, 2009, IEEE/ACM International Conference on Human-Robot Interaction.

Verifiable Autonomy and Responsible Robotics

Louise A. Dennis, Michael Fisher, 2020, Software Engineering for Robotics.

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations

Michael Fisher, Louise Dennis, Gleifer Vaz Alves, 2021, J. Sens. Actuator Networks.

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems

Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2021, ACM Trans. Softw. Eng. Methodol..

Two-stage agent program verification

Michael Fisher, Louise A. Dennis, Matthew P. Webster, 2018, J. Log. Comput..

Satellite Control Using Rational Agent Programming

Michael Fisher, Alexei Lisitsa, Sandor M. Veres, 2010, IEEE Intelligent Systems.

The abc of rational agent modelling

Michael Fisher, Chiara Ghidini, Michael Fisher, 2002, AAMAS '02.

Engineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222)

Christian List, Michael Fisher, Marija Slavkovik, 2016, Dagstuhl Reports.

Directions for Agent Model Checking

Rafael H. Bordini, Michael Fisher, Berndt Farwer, 2010 .

Logical Implementation of Uncertain Agents

Michael Fisher, Wiebe van der Hoek, Nivea de Carvalho Ferreira, 2005, EPIA.

Atypical teratoid rhabdoid tumor in a child with neurofibromatosis type 2: A novel dual diagnosis.

Marilyn M. Li, Michael Fisher, M. Santi, 2021, Cancer genetics.

Monodic temporal resolution

Michael Fisher, Boris Konev, Anatoli Degtyarev, 2003, TOCL.

Clausal temporal resolution

Clare Dixon, Michael Fisher, Martin Peim, 1999, TOCL.

Impairments of the protein C system and fibrinolysis in infection-associated stroke.

José A Fernández, Michael Fisher, R. Macko, 1996, Stroke.

Multicenter, prospective, phase II study of maintenance bevacizumab for children and adults with NF2-related schwannomatosis and progressive vestibular schwannoma

Michael Fisher, B. Korf, J. Tonsgard, 2023, Neuro-oncology.

Programming Groups of Rational Agents

Michael Fisher, Benjamin Hirsch, Chiara Ghidini, 2004, CLIMA.

Organising Logic-Based Agents

Michael Fisher, Benjamin Hirsch, Chiara Ghidini, 2002, FAABS.

Programming Resource-Bounded Deliberative Agents

Michael Fisher, Chiara Ghidini, Michael Fisher, 1999, IJCAI.

Exploring the Future with Resource-Bounded Agents

Michael Fisher, Chiara Ghidini, Michael Fisher, 2009, J. Log. Lang. Inf..

Agents with Bounded Temporal Resources

Michael Fisher, Chiara Ghidini, Michael Fisher, 2002, Foundations and Applications of Multi-Agent Systems.

A flexible framework for verifying agent programs

Rafael H. Bordini, Michael Fisher, Berndt Farwer, 2008, AAMAS.

State-space reduction techniques in agent verification

Michael Wooldridge, Rafael H. Bordini, Michael Fisher, 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

Optic Pathway Gliomas

Michael Fisher, R. Avery, M. Fisher, 2011, Journal of neuro-ophthalmology : the official journal of the North American Neuro-Ophthalmology Society.

Languages, Meta-languages and Metatem, a Discussion Paper

Dov M. Gabbay, Michael Fisher, Anthony Hunter, 1996 .

A Resolution Method for Temporal Logic

Michael Fisher, Michael Fisher, 1991, IJCAI.

Towards a framework for certification of reliable autonomous systems pdf

Michael Winikoff, Viviana Mascardi, Michael Fisher, 2020, Autonomous Agents and Multi-Agent Systems.

Summarising a Framework for the Certification of Reliable Autonomous Systems

Michael Winikoff, Viviana Mascardi, Michael Fisher, 2021, AAMAS.

Towards a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems

R. C. Cardoso, Michael Fisher, Louise Dennis, 2021 .

Verifying and Validating Autonomous Systems: Towards an Integrated Approach

Angelo Ferrando, Davide Ancona, Viviana Mascardi, 2018, RV.

Moral Permissibility of Actions in Smart Home Systems

Michael Fisher, Felix Lindner, Louise Dennis, 2018 .

Can you trust your robotic assistant

Clare Dixon, Michael Fisher, Evgeni Magid, 2013, ICSR 2013.

Safety and Certification of Unmanned Air Systems

Michael Fisher, Michael Jump, Charles Patchett, 2015 .

Potential endpoints for assessment of bone health in persons with neurofibromatosis type 1

Michael Fisher, L. Klesse, S. Plotkin, 2023, Clinical trials.

On and On the Temporal Way

Clare Dixon, Michael Fisher, Michael Fisher, 2014, HOWARD-60.

Normal Forms and Proofs in Combined Modal and Temporal Logics

Clare Dixon, Michael Fisher, Ullrich Hustadt, 2000, FroCoS.

Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper)

Michael Fisher, Michael Fisher, 2005, CLIMA.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Clare Dixon, Michael Fisher, Evgeni Magid, 2013, ICSR 2013.

Built for Speed

Michael Fisher, Byers, 2003 .

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time

Michael Fisher, Maryam Kamali, Sven Linker, 2018, FTSCS.

Searching for Invariants Using Temporal Resolution

Michael Fisher, J. Brotherston, A. Lisitsa, 2002, LPAR.

Towards First-Order Temporal Resolution

Michael Fisher, Anatoli Degtyarev, Michael Fisher, 2001, KI/ÖGAI.

Reasoning about agents in the KARO framework

Clare Dixon, Michael Fisher, John-Jules Ch. Meyer, 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.

Electronic Communications of the EASST Volume X ( 2009 ) Proceedings of the Third International Workshop on Formal Methods for Interactive Systems ( FMIS 2009 ) Towards the Verification of Pervasive Systems

Michael Fisher, Alice Miller, M. Ryan, 2009 .

On the Formal Specification and Verification of Multi-Agent Systems

Michael Wooldridge, Michael Fisher, Michael Fisher, 1997, Int. J. Cooperative Inf. Syst..

Verification of Multi-agent Systems via Combined Model Checking ∗

Michael Fisher, Sven Schewe, Savas Konur, 2009 .

Certification of a Civil UAS: A Virtual Engineering Approach

Michael Fisher, Michael Jump, Neil Cameron, 2011 .

An Open Approach to Concurrent Theorem-Proving

Michael Fisher, Michael Fisher, 1995 .

Critical Thinking in Nurse Anesthesia Education: A Pilot Study

Michael Fisher, S. Burns, Kimball Cooper, 2013 .