https://scholars.lib.ntu.edu.tw/handle/123456789/338339
標題: | GOAL extended: Towards a research tool for omega automata and temporal logic | 作者: | YIH-KUEN TSAY Chen, Y.-F. Tsai, M.-H. Chan, W.-C. Luo, C.-J. |
公開日期: | 2008 | 卷: | 4963 LNCS | 起(迄)頁: | 346-350 | 來源出版物: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 摘要: | This 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. |
URI: | http://www.scopus.com/inward/record.url?eid=2-s2.0-47249141323&partnerID=MN8TOARS http://scholars.lib.ntu.edu.tw/handle/123456789/338339 https://www.scopus.com/inward/record.uri?eid=2-s2.0-47249141323&doi=10.1007%2f978-3-540-78800-3_26&partnerID=40&md5=6b4757e28895e50d08b05bc23b8cd9e7 |
ISSN: | 03029743 | DOI: | 10.1007/978-3-540-78800-3_26 | SDG/關鍵字: | Fuzzy logic; Program translators; Research; Translation (languages); Complementation; European; File formats; Goal functions; Heidelberg (CO); International conferences; Utility functions; Temporal logic |
顯示於: | 資訊管理學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。