Browsing Tesis de Doctorados by Author "D'Argenio, Pedro Ruben"
Now showing items 1-2 of 2
-
Automatización de técnicas de división por importancia para la simulación de eventos raros
Budde, Carlos Esteban (2017-05)Existen muchas técnicas para estudiar y verificar descripciones formales de sistemas probabilistas. La simulación de Monte Carlo por eventos discretos ofrece una alternativa para la generalidad de procesos estocásticos ... -
Sobre la verificación automática de autómatas probabilistas distribuidos con información parcial
Giro, Sergio Sebastián (2010-03)En esta tesis desarrollamos algoritmos y técnicas de análisis basadas en model checking para analizar la corrección de sistemas distribuidos con características aleatorias y no deterministas. Una contribución importante ...