Uppaal Tiga Uppaal Tiga es una extensión de Uppaal e implementa el primer algoritmo en la mosca eficiente para resolver juegos.
Descargar ahora

Uppaal Tiga Clasificación y resumen

Uppaal Tiga Etiquetas

Uppaal resolver Solución de juegos verificador de línea de comando Algoritmo en la mosca Tiga

Uppaal Tiga Descripción

Uppaal Tiga es una extensión de Uppaal e implementa el primer algoritmo eficiente sobre la marcha para resolver juegos. Uppaal Tiga es una extensión de Uppaal e implementa el primer algoritmo eficiente en la mosca para resolver juegos basados ​​en los autómatas de juegos cronometrados con respecto a la capacidad de alcabaz y las propiedades de seguridad. Por lo tanto, se sabe que los juegos cronometrados por mucho tiempo hayan sido decidibles. Hasta ahora ha sido una falta de algoritmos eficientes y verdaderamente en la mosca para su análisis. UPPAAL TIGA proporciona una interfaz gráfica fácil de usar con su servidor correspondiente y un verificador de línea de comandos. El algoritmo que proponemos es un simbólico. Extensión del algoritmo en la marcha sugerido por Liu y Smolka para verificación modelo lineal de sistemas de estado finitos. Al estar en la mosca, el algoritmo simbólico puede terminar mucho antes de haber explorado todo el espacio estatal. También se realizan los pasos individuales del algoritmo de manera eficiente mediante el uso de las llamadas zonas como la estructura de datos subyacente. Nuestra herramienta implementa varias optimizaciones del algoritmo simbólico básico, así como métodos para obtener estrategias ganadoras de tiempo óptimas (para juegos de accesorios). Lo que está nuevo en esta versión: · Esta versión corrige dos errores principales: se dieron respuestas incorrectas (y estrategias) para algunos casos que involucren retrasos, y el simulador no manejó adecuadamente los estados urgentes y comprometidos.

Uppaal Tiga Software relacionado