scientific article

From MaRDI portal

Revision as of 20:18, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2963938

Jump to:navigation, search

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 processes model checking parameterized 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 (9)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2963938&oldid=15970238"