PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.

Imagen
Descripción	artículo científico publicado en 2017
Autoría	autor: Marta Kwiatkowska
Fecha de publicación	29 de noviembre de 2017
Idioma
País de origen
Enlace a Wikipedia
Estatus de derecho de autor	Private domain
¿Datos faltantes/errados?	Editar ítem de Wikidata