A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
GOAL for Games, Omega-Automata, and Logics
[chapter]
2013
Lecture Notes in Computer Science
This paper introduces the second generation of GOAL, which is a graphical interactive tool for games, ω-automata, and logics. It is a complete redesign with an extensible architecture, many enhancements to existing functions, and new features. The extensible architecture allows easy integration of third-party plugins. The enhancements provide more automata conversion, complementation, simplification, and testing algorithms, translation of full QPTL formulae, and better automata navigation with
doi:10.1007/978-3-642-39799-8_62
fatcat:4xi3csp63fgbhn736yrrhzc3we