uppaal tiga. Uppaal Tiga는 UPPAAL 의 확장이며 게임을 해결하기위한 최초의 효율적인 알고리즘을 구현합니다.
지금 다운로드

uppaal tiga. 순위 및 요약

uppaal tiga. 태그

uppaal. 해결 게임을 해결합니다 명령줄 검증자 on-the-fly 알고리즘 티가

uppaal tiga. 설명

Uppaal Tiga는 Uppaal 의 확장이며 게임을 해결하기위한 최초의 효율적인 알고리즘을 구현합니다. Uppaal Tiga는 uppaal 의 확장이며, 도달 가능성 및 안전 특성에 대한 시간이 초과 된 게임 오토 마타를 기반으로 게임을 해결하기위한 최초의 효율적인 온 플라이 알고리즘을 구현합니다. 오랫동안 시간 초과 된 게임은 거기에 알려지지 않은 것으로 알려져 있습니다. 현재 분석을 위해 효율적이고 진정한 플라이 아프리트 알고리즘이 결여 될 때까지는 해당 서버와 사용자 친화적 인 그래픽 인터페이스를 제공하고 명령 줄 검증자를 제공합니다. 는 상징적 인 것입니다. Liu 및 Smolka 에 의해 제안 된 On-the-Fly 알고리즘의 확장은 유한 상태 시스템의 선형 타임 모델 검사를 위해 on-the-fly, 상징적 인 알고리즘은 전체 공간을 탐색하기까지 오래 종료 될 수 있습니다. 또한 알고리즘의 개별 단계는 기본 데이터 구조로 소위 영역을 사용하여 효율적으로 수행됩니다. 우리의 공구는 기본적인 상징적 인 알고리즘의 다양한 최적화를 구현하고, 이번 릴리스에서는 시간 - 최적의 승리 전략을 얻는 방법을 구현합니다. ·이 버전은 두 가지 주요 버그를 수정합니다 : 잘못된 답변 (및 전략)이 주어졌습니다. 지연을 포함하는 경우에는 시뮬레이터가 긴급하고 커밋 된 상태를 제대로 처리하지 못했습니다.

uppaal tiga. 관련 소프트웨어