Resultados de búsqueda - Ferrando, Angelo

  • Mostrando 1 - 11 Resultados de 11
Limitar resultados
  1. 1
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  6. 6
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  7. 7
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  8. 8
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  9. 9
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  10. 10
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  11. 11
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: