A Compositional Approach to Verifying Modular Robotic Systems
- Digital Object Identifier
- https://doi.org/10.1016/j.robot.2026.105648
- Open Access
- https://aura.abdn.ac.uk/bitstreams/ef1f2fd5-600b-480d-b25e-2f4efb68186e/download
Publications
Currently viewing:
Page 1 of 18 Results 1 to 10 of 177
-
-
A multimodal dataset for environmental occupancy detection
- Digital Object Identifier
- https://doi.org/10.1016/j.dib.2026.112948
- Open Access
- https://aura.abdn.ac.uk/bitstreams/e05f1218-9cdf-46d0-9998-fd32dbedd7fd/download
-
GasSentry: A Multi-Agent LLM Framework for Smart Contract Security Vulnerability Remediation and Gas Optimisation
-
Multi-Agent Goal Recognition with Team- and Goal-Conditioned Reinforcement Learning and Factorized Branch-and-Bound
-
A BDI Task-oriented Agent in Belief Space
- Digital Object Identifier
- https://doi.org/10.1145/3770857
- Open Access
- https://aura.abdn.ac.uk/bitstreams/b7ca20e1-fa09-4811-b5c6-7d4e9a10c061/download
-
RAGe: A Retrieval-Augmented Generation Evaluation Framework
-
Zero-Shot Goal Recognition with Large Language Models
-
Online Goal Recognition using Path Signature and Dynamic Time Warping
-
A Multi-Robot Architecture for Continuous Planning and Execution using BDI Agents
- Digital Object Identifier
- https://doi.org/10.65109/MCRY4236
- Open Access
- https://aura.abdn.ac.uk/bitstreams/e44a990b-1e1d-4540-b1bf-e78c969d7caf/download
-
An ML-BDI Reasoner to Support Crime Investigation in Digital Forensics
- Digital Object Identifier
- https://doi.org/10.65109/ZGRS2204
- Open Access
- https://aura.abdn.ac.uk/bitstreams/b15b1f9a-7559-475e-bbc6-3587f5b6be2d/download