3 papers
cs.SE2025
Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
Angelo Ferrando
Assuring the safety and trustworthiness of autonomous systems is particularly difficult when learning-enabled components and open environments are involved. Formal methods provide…
cs.LG2025
Expressive Reward Synthesis with the Runtime Monitoring Language
Daniel Donnelly, Angelo Ferrando, Francesco Belardinelli
A key challenge in reinforcement learning (RL) is reward (mis)specification, whereby imprecisely defined reward functions can result in unintended, possibly harmful, behaviours. In…
cs.LO2025
Varanus: Runtime Verification for CSP
Matt Luckcuck, Angelo Ferrando, Fatma Faruq
Autonomous systems are often used in changeable and unknown environments, where traditional verification may not be suitable. Runtime Verification (RV) checks events performed by a…