Pushdown reward machines for reinforcement learning
- Digital Object Identifier
- https://doi.org/10.24963/kr.2025/55
- Open Access
- https://aura.abdn.ac.uk/bitstreams/534a99de-da83-40e0-ba7e-4ab9fb5581ed/download
Publications
Currently viewing:
Page 4 of 18 Results 31 to 40 of 177
-
-
Run-time verification of robot-assisted surgery using visual input
-
Reliable Intention Selection in BDI Agents with Recovery Shields
- Digital Object Identifier
- https://doi.org/10.3233/FAIA251228
- Open Access
- https://aura.abdn.ac.uk/bitstreams/c7846450-ab13-4356-a2d1-8e32bb881881/download
-
Synthesising Minimum Cost Dynamic Norms
-
Preface special issue on agents and robots for reliable engineered autonomy (AREA 2023)
- Digital Object Identifier
- https://doi.org/10.1007/s10472-025-09991-9
- Additional Links
- Provided by the Springer Nature SharedIt content-sharing initiative
- View publication in Scopus
-
Evaluating BDI Agents in ROS: From Basic Integration to Fault Tolerant Multi-Robot Systems
-
Patient-Centred Explainability in IVF Outcome Prediction
- Digital Object Identifier
- https://doi.org/10.48550/arXiv.2506.18760
-
Generalised BDI Planning
- Digital Object Identifier
- https://doi.org/10.5555/3709347.3743782
-
Hypertension and total-order forward decomposition optimizations
- Digital Object Identifier
- https://doi.org/10.1007/s10458-025-09705-9
- Open Access
- https://aura.abdn.ac.uk/bitstreams/ba480a4f-cfe3-47ba-86cc-dc121ad69f6f/download
- Additional Links
- View publication in Scopus
-
Probabilistic Strategy Logic with Degrees of Observability
- Digital Object Identifier
- https://doi.org/10.1609/aaai.v39i14.33655
- Open Access
- https://aura.abdn.ac.uk/bitstreams/04d9740e-e77e-4ae0-8eac-22c4d1f00fb7/download