UPPAAL TIGA es una extensión de UPPAAL [BDL04] y se implementa la primera eficiente algoritmo sobre la marcha para resolver juegos basados en autómatas juego calculado con respecto a las propiedades de accesibilidad y seguridad.
Aunque los juegos programados para mucho tiempo han sido conocidos por ser decidible no ha sido hasta ahora la falta de algoritmos eficientes y verdaderamente sobre la marcha 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 [CDFLL05] es una extensión simbólica del algoritmo en la marcha sugerido por Liu y Smolka [LS98] para-tiempo lineal modelo de control de los sistemas de estados finitos. Al estar en la marcha, el algoritmo simbólica puede terminar mucho antes de haber explorado todo el espacio de estado.
También los pasos individuales del algoritmo se llevan a cabo de manera eficiente por el uso de las llamadas zonas como la estructura de datos subyacente. Nuestra herramienta implementa diversas optimizaciones del algoritmo simbólica básica, así como métodos para obtener estrategias ganadoras en tiempo óptimo (para los juegos de accesibilidad).
¿Qué hay de nuevo en esta versión:
Comentarios que no se encuentran