{"id":"arxiv/2604.05196","url":"https://arxiv.org/abs/2604.05196","tags":["eess.SY","math.OC"],"score":0,"title":"Approximate Simulation-Based Verification of Compatibility of the Friedkin-Johnsen Model with Binary Observations","domain":"eess.SY","source":"arxiv","authors":["Yu Xing","Aneesh Raghavan","Michael T. Schaub","Karl H. Johansson"],"reviews":0,"subject":"eess.SY","summary":"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 binary outputs is available instead of the agents' continuous opinions. At every time-step we observe a binarized output for each agent depending on whether the opinion exceeds a fixed threshold. The objective is to verify whether an FJ model with a given set of stubbornness parameters and initial opinions can generate the observed binary outputs up to a small error. The FJ model is formulated as a transition system,…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-04-06","reactions":{}}