An approximate simulation framework is constructed via finite abstractions of the Friedkin-Johnsen model to verify compatibility with binary observation sequences.
Temporal logic control of discrete-time piecewise affine systems,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Approximate Simulation-Based Verification of Compatibility of the Friedkin-Johnsen Model with Binary Observations
An approximate simulation framework is constructed via finite abstractions of the Friedkin-Johnsen model to verify compatibility with binary observation sequences.