Formal analysis of DeGroot Influence Problems using probabilistic model checking

Sotirios Gyftopoulos, Pavlos S. Efraimidis, Panagiotis Katsaros. Formal analysis of DeGroot Influence Problems using probabilistic model checking. Simulation Modelling Practice and Theory, 89:144-159, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.