Michael Fisher
Manchester University
H-index: 54
North America-United States
Top articles of Michael Fisher
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Specifying Agent Ethics (Blue Sky Ideas) | arXiv preprint arXiv:2403.16100 | Louise A Dennis Michael Fisher | 2024/3/24 |
Roadmap for Responsible Robotics (Dagstuhl Seminar 23371) | Michael Fisher Marija Slavkovik Anna Dobrosovestnova Nick Schuster | 2024 | |
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper] | arXiv preprint arXiv:2305.11534 | Louise Dennis Marie Farrell Michael Fisher | 2023/5/19 |
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition | Leandro Buss Becker Anthony Downs Craig Schlenoff Justin Albrecht Zeid Kootbally | 2023/9/7 | |
Trustworthy autonomous systems through verifiability | Computer | Mohammad Reza Mousavi Ana Cavalcanti Michael Fisher Louise Dennis Rob Hierons | 2023/2/10 |
Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines | Louise A Dennis Michael Fisher | 2023/6/8 | |
Updating Action Descriptions and Plans for Cognitive Agents | AAMAS'23: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems | Peter Stringer Rafael C Cardoso Clare Dixon Michael Fisher Louise A Dennis | 2023/5/30 |
Security-minded verification of cooperative awareness messages | IEEE Transactions on Dependable and Secure Computing | Marie Farrell Matthew Bradbury Rafael C Cardoso Michael Fisher Louise A Dennis | 2023/12/21 |
Neuro-Symbolic AI+ Agent Systems: A First Reflection on Trends, Opportunities and Challenges | Vaishak Belle Michael Fisher Alessandra Russo Ekaterina Komendantskaya Alistair Nottle | 2023/5/29 | |
Prospective Responsibility for Multi-agent Systems | Joe Collenette Louise Dennis Michael Fisher | 2023/11/8 | |
Towards Forward Responsibility in BDI Agents | Rafael C Cardoso Angelo Ferrando Joe Collenette Louise A Dennis Michael Fisher | 2023/5/29 | |
Adaptive Cognitive Agents: Updating Action Descriptions and Plans | Peter Stringer Rafael C Cardoso Clare Dixon Michael Fisher Louise A Dennis | 2023/9/7 | |
Agile Robotic Planning with Gwendolen | John Michaloski John Michaloski Craig Schlenoff Rafael C Cardoso Michael Fisher | 2022/5/31 | |
AI Journal Special Issue on Ethics for Autonomous Systems | Michael Fisher Sven Koenig Marija Slavkovik | 2022/4 | |
Verification of Autonomous Systems [TC Spotlight] | IEEE Robotics & Automation Magazine | Dejanira Araiza-Illan Michael Fisher Kevin Leahy Joanna Isabelle Olszewska Signe Redfield | 2022/3/22 |
Advising autonomous cars about the rules of the road | arXiv preprint arXiv:2209.14035 | Joe Collenette Louise A Dennis Michael Fisher | 2022/9/28 |
Verifiable autonomy: From theory to applications | AI Communications | Louise Dennis Clare Dixon Michael Fisher | 2022/1/1 |
Extending Attack-Fault Trees with Runtime Verification | arXiv preprint arXiv:2209.14044 | Rafael C Cardoso Angelo Ferrando Michael Fisher | 2022/9/28 |
A Compositional Approach to Verifying Modular Robotic Systems | arXiv preprint arXiv:2208.05507 | Matt Luckcuck Marie Farrell Angelo Ferrando Rafael C Cardoso Louise A Dennis | 2022/8/10 |
Agile tasking of robotic kitting | John Michaloski Murat Aksu Craig Schlenoff Rafael C Cardoso Michael Fisher | 2021/11/1 |