51cg

The School of Natural and Computing Sciences

Publications

In this section
Publications
Currently viewing:
Filter by Publication Type

Page 1 of 18 Results 1 to 10 of 176

  • A Compositional Approach to Verifying Modular Robotic Systems

    Luckcuck, M., Farrell, M., Ferrando, A., Cardoso, R. C., Dennis, L. A., Fisher, M.
    Robotics and autonomous systems, vol. 205, 105648
    Contributions to Journals: Articles
    Digital Object Identifier
    Open Access

  • A multimodal dataset for environmental occupancy detection

    Deconto, G. D., Zorzo, A. F., Lunardi, R. C., Cardoso, R. C., Teixeira, L. d. S.
    Data in brief, vol. 67, 112948
    Contributions to Journals: Articles
    Digital Object Identifier
    Open Access

  • GasSentry: A Multi-Agent LLM Framework for Smart Contract Security Vulnerability Remediation and Gas Optimisation

    Abubakar, M., Castagna Lunardi, R., Cardoso, R. C.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Multi-Agent Goal Recognition with Team- and Goal-Conditioned Reinforcement Learning and Factorized Branch-and-Bound

    Thomas, T., Ramos, G. d. O., Meneguzzi, F.
    Working Papers and Discussion Papers
    Open Access

  • A BDI Task-oriented Agent in Belief Space

    Ichida, A. Y., Meneguzzi, F.
    ACM Transactions on Autonomous and Adaptive Systems, vol. 21, no. 2, 17
    Contributions to Journals: Articles
    Digital Object Identifier
    Open Access
    Additional Links

  • RAGe: A Retrieval-Augmented Generation Evaluation Framework

    Guder, L., de Moura, J. P., Accorsi, A., do Amaral, G. L., Magnaguagno, M. C., Meneguzzi, F., Pinho, M. S., Griebler, D.
    Working Papers and Discussion Papers
    Open Access

  • Zero-Shot Goal Recognition with Large Language Models

    Gusmão, K. M. P., Gavenski, N., Oren, N., Meneguzzi, F.
    Working Papers and Discussion Papers
    Open Access

  • Online Goal Recognition using Path Signature and Dynamic Time Warping

    Tesch, D., Gavenski, N., Amado, L., Rodrigues, O., Meneguzzi, F.
    Working Papers and Discussion Papers
    Open Access
    Additional Links

  • A Multi-Robot Architecture for Continuous Planning and Execution using BDI Agents

    Silva, C. J., Ralha, C. G., Santos, R. M., Cardoso, R. C.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Digital Object Identifier
    Open Access

  • An ML-BDI Reasoner to Support Crime Investigation in Digital Forensics

    Dall'Agnol Deconto, G., dos Santos Teixeira, L., Castagna Lunardi, R., Cardoso, R. C., Meneguzzi, F., Zorzo, A. F.
    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
    Digital Object Identifier
    Open Access
Show 10 | 25 | 50 | 100 results per page