New preprint on Friedkin-Johnsen opinion dynamics

Yu Xing and Michael Schaub coauthored the preprint “Approximate Simulation-Based Verification of Compatibility of the Friedkin-Johnsen Model with Binary Observations” which is now available on arXiv.

The paper considers how one can verify whether a Friedkin-Johnsen opinion dynamics model is compatible with binary observations of agent opinions. The authors construct finite abstractions of the model that make this verification problem tractable.

The preprint is available here.