Risultati della ricerca - Ferrando, Angelo

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

Testo

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

Testo

Runtime Verification via Rational Monitor with Imperfect Information di Ferrando, Angelo, Malvone, Vadim

Testo

On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle di Ancona, Davide, Ferrando, Angelo

Testo

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

Testo

Open Challenges in the Formal Verification of Autonomous Driving di Burgio, Paolo, Ferrando, Angelo, Villani, Marco

Testo

Varanus: Runtime Verification for CSP di Luckcuck, Matt, Ferrando, Angelo, Faruq, Fatma

Testo

Expressive Reward Synthesis with the Runtime Monitoring Language di Donnelly, Daniel, Ferrando, Angelo, Belardinelli, Francesco

Testo

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

Testo

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

Testo

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

Testo