2 papers
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.AI2018
Simultaneous Task Allocation and Planning Under Uncertainty
Fatma Faruq, Bruno Lacerda, Nick Hawes +1
We propose novel techniques for task allocation and planning in multi-robot systems operating in uncertain environments. Task allocation is performed simultaneously with planning,…