Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata

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