Netter: probabilistic, stateful network models

DOI10.1007/978-3-030-67067-2_22zbMath1472.68012OpenAlexW3120309369MaRDI 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 chainsprobabilistic model checkingstateful networks

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Formal languages and automata (68Q45) Theory of programming languages (68N15) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Netter: probabilistic, stateful network models

Cites Work

• Unnamed Item
• Unnamed Item
• Netter: probabilistic, stateful network models
• Probabilistic NetKAT
• Cantor meets Scott: semantic foundations for probabilistic networks
• NetKAT
• Probability and Computing

This page was built for publication: Netter: probabilistic, stateful network models