scientific article

DOI10.4230/LIPIcs.FSTTCS.2013.501zbMath1359.68185MaRDI QIDQ2963938

Paulin Fournier, Nathalie Bertrand

Publication date: 21 February 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Markov decision processesmodel checkingparameterized verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

A counter abstraction technique for verifying properties of probabilistic swarm systems, Unnamed Item, Unnamed Item, Parameterized analysis of reconfigurable broadcast networks, Unnamed Item, Unnamed Item, Fair Termination for Parameterized Probabilistic Concurrent Systems, Parameterized verification of coverability in infinite state broadcast networks, Unnamed Item