Showing 2026Show all
2 papers · 1 filter
eess.SY2026
Finite-Sample Conformal Coverage Recovery via Fusion under Degraded Local Guarantees in Occupancy Map Estimation
Ritvik Mahajan, Aneesh Raghavan, Karl Henrik Johansson
Accurate and reliable environmental mapping is a fundamental requirement for multi-robot autonomy. While continuous mapping techniques like Gaussian Process Occupancy Mapping (GPOM…
eess.SY2026
Approximate Simulation-Based Verification of Compatibility of the Friedkin-Johnsen Model with Binary Observations
Yu Xing, Aneesh Raghavan, Michael T. Schaub +1
We consider a verification problem for opinion dynamics based on binary observations. The opinion dynamics is governed by a Friedkin-Johnsen (FJ) model, where only a sequence of bi…