Louise A. Dennis

University of Manchester — United Kingdom

Computer Science · Physical Sciences

26h-index3.0kcitations210works1.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Multi-Agent Systems and Negotiation(65), Logic, Reasoning, and Knowledge(50), Formal Methods in Verification(49), Ethics and Social Impacts of AI(28), Logic, programming, and type systems(18)

Publications210 total

Decompose-and-Formalise: Recursively Verifiable Natural Language Inference
arXiv (Cornell University)·2026Open Access
Decompose-and-Formalise: Recursively Verifiable Natural Language Inference
ArXiv.org·2026Open Access
Open-World Verification: A Grand Challenge for Autonomous Systems
Proceedings of the IEEE·2026Open Access
Engineering the Next Generation of Multi-agent Systems: A Community Roadmap from EMAS 2025
Lecture notes in computer science·2026Open Access
Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
Electronic Proceedings in Theoretical Computer Science·2025Open Access
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
arXiv (Cornell University)·2025Open Access
Reliable Robot Missions in Dynamic Environments Using Agent-based Controllers
2025Open Access
Explainability Pattern Specifications for Human-Robot Teamwork
2025Open Access
Uncertain Machine Ethics Planning
2025
Uncertain Machine Ethics Planning
arXiv (Cornell University)·2025Open Access
The human factor: Addressing computing risks for critical national infrastructure towards 2040
Computers & Security·2025Open Access
Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots
2025· 1 citedOpen Access
Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
arXiv (Cornell University)·2025· 1 citedOpen Access
Specifying Agent Ethics
Lecture notes in computer science·2025
Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study
Lecture notes in computer science·2025
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
2025Open Access
Conference Reports
AI Matters·2024
Grand Challenges in the Verification of Autonomous Systems
arXiv (Cornell University)·2024Open Access
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
Electronic Proceedings in Theoretical Computer Science·2024· 1 citedOpen Access
Formal Verification of BDI Agents
Lecture notes in computer science·2024· 1 citedOpen Access
page 1 of 11Next →

Frequent Co-authors

Michael Fisher(39), Matt Webster(10), Sándor M. Veres(6), Angelo Ferrando(6), Marie Farrell(5), Marija Slavkovik(5), Alexei Lisitsa(5), Rafael C. Cardoso(5), Matt Luckcuck(4), Clare Dixon(4), Nicholas K. Lincoln(4), Alan Winfield(4), Koen V. Hindriks(4), Viviana Mascardi(4), Rafael H. Bordini(3), Davide Ancona(3), Gleifer Vaz Alves(3), William I. Sellers(2), Robin H. Crompton(2), Emily C. Collins(2)