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…