Formal analysis of DeGroot Influence Problems using probabilistic model checking
| Autor: | Gyftopoulos, Sotirios, Efraimidis, Pavlos S., Katsaros, Panagiotis |
|---|---|
| Zdroj: | In Simulation Modelling Practice and Theory December 2018 89:144-159 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect