Search Results - Ferrando, Angelo

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Cover Image

    Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems Autoría: Ferrando, Angelo

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  2. 2
    Cover Image

    VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems Autoría: Ferrando, Angelo, Malvone, Vadim

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  3. 3
    Cover Image

    Runtime Verification via Rational Monitor with Imperfect Information Autoría: Ferrando, Angelo, Malvone, Vadim

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  4. 4
    Cover Image

    On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle Autoría: Ancona, Davide, Ferrando, Angelo

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  5. 5
    Cover Image

    RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep? Autoría: Gatti, Andrea, Mascardi, Viviana, Ferrando, Angelo

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  6. 6
    Cover Image

    Open Challenges in the Formal Verification of Autonomous Driving Autoría: Burgio, Paolo, Ferrando, Angelo, Villani, Marco

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  7. 7
    Cover Image

    Varanus: Runtime Verification for CSP Autoría: Luckcuck, Matt, Ferrando, Angelo, Faruq, Fatma

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  8. 8
    Cover Image

    Expressive Reward Synthesis with the Runtime Monitoring Language Autoría: Donnelly, Daniel, Ferrando, Angelo, Belardinelli, Francesco

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  9. 9
    Cover Image

    Solvent: liquidity verification of smart contracts Autoría: Bartoletti, Massimo, Ferrando, Angelo, Lipparini, Enrico, Malvone, Vadim

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  10. 10
    Cover Image

    KindHML: formal verification of smart contracts based on Hennessy-Milner logic Autoría: Bartoletti, Massimo, Ferrando, Angelo, Lipparini, Enrico, Malvone, Vadim

    Published 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  11. 11
    Cover Image

    ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics Autoría: Saadat, Maryam Ghaffari, Ferrando, Angelo, Dennis, Louise A., Fisher, Michael

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:

Search Tools: