Quantitative modelling and analysis of BDI agents

Probabilistic Bigraphs

(2022) Blair Archibald et al.   FORMAL ASPECTS OF COMPUTING

Examining Evacuee Response to Emergency Communications with Agent-Based Simulations

(2021) C. Natalie van der Wal et al.   Sustainability

Rational verification: game-theoretic verification of multi-agent systems

(2021) Alessandro Abate et al.   APPLIED INTELLIGENCE

Modelling and verifying BDI agents with bigraphs

(2021) Blair Archibald et al.   SCIENCE OF COMPUTER PROGRAMMING

Formal Specification and Verification of Autonomous Robotic Systems

(2019) Matt Luckcuck et al.   ACM COMPUTING SURVEYS

Agent systems verification : systematic literature review and mapping

(2018) Najwa Abu Bakar et al.   APPLIED INTELLIGENCE

Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments

(2017) Kim Bauters et al.   JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH

Two-stage agent program verification

(2015) Louise A Dennis et al.   JOURNAL OF LOGIC AND COMPUTATION

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

(2014) Louise A. Dennis et al.   Automated Software Engineering

Model checking agent programming languages

(2011) Louise A. Dennis et al.   Automated Software Engineering

Single-player Monte-Carlo tree search for SameGame

(2011) Maarten P.D. Schadd et al.   KNOWLEDGE-BASED SYSTEMS

A BDI agent programming language with failure handling, declarative goals, and planning

(2010) Sebastian Sardina et al.   AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS

2APL: a practical agent programming language

(2008) Mehdi Dastani   AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS