2 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
LTL Verification of Memoryful Neural Agents
Mehran Hosseini, Alessio Lomuscio, Nicola Paoletti
We present a framework for verifying Memoryful Neural Multi-Agent Systems (MN-MAS) against full Linear Temporal Logic (LTL) specifications. In MN-MAS, agents interact with a non-de…
cs.LO2024★ 2 cited
Verifiably Robust Conformal Prediction
Linus Jeary, Tom Kuipers, Mehran Hosseini +1
Conformal Prediction (CP) is a popular uncertainty quantification method that provides distribution-free, statistically valid prediction sets, assuming that training and test data…