YIH-KUEN TSAYChen, Y.-F.Y.-F.ChenTsai, M.-H.M.-H.TsaiChan, W.-C.W.-C.ChanLuo, C.-J.C.-J.Luo2018-09-102018-09-10200803029743http://www.scopus.com/inward/record.url?eid=2-s2.0-47249141323&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/338339https://www.scopus.com/inward/record.uri?eid=2-s2.0-47249141323&doi=10.1007%2f978-3-540-78800-3_26&partnerID=40&md5=6b4757e28895e50d08b05bc23b8cd9e7This paper reports extensions to the GOAL tool that enable it to become a research tool for omega automata and temporal logic. The extensions include an expanded collection of translation, simplification, and complementation algorithms, a command-line mode which makes GOAL functions accessible by programs, and utility functions for such common tasks as file format conversion, random formulae generation, and statistics collection. © 2008 Springer-Verlag Berlin Heidelberg.Fuzzy logic; Program translators; Research; Translation (languages); Complementation; European; File formats; Goal functions; Heidelberg (CO); International conferences; Utility functions; Temporal logicconference paper10.1007/978-3-540-78800-3_262-s2.0-47249141323