5 citations · 9 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2024
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck, Mengwei Xu
This EPTCS volume contains the papers from the Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024), which was held between the 11th and 13th of Novemb…