Netter: probabilistic, stateful network models

DOI10.1007/978-3-030-67067-2_22zbMath1472.68012MaRDI QIDQ2234099

Chi Zhang, Yuvraj Agarwal, Matt Fredrikson, Limin Jia, Han Zhang, Arthur Azevedo de Amorim

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-67067-2_22

zbMATH Keywords

discrete-time Markov chains; probabilistic model checking; stateful networks

Mathematics Subject Classification ID

68M10: Network design and communication in computer systems

68Q45: Formal languages and automata

68N15: Theory of programming languages

60J20: Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.)

68Q60: Specification and verification (program logics, model checking, etc.)