| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2010 | Comparing learning algorithms in automated assume-guarantee reasoning | Y.-F. Chen; E.M. Clarke; A. Farzan; F. He; M.-H. Tsai; Y.-K. Tsay; B.-Y. Wang; L. Zhu | ||||
| 2008 | Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages | A. Farzan; Y.-F. Chen; E.M. Clarke; Y.-K. Tsay; B.-Y. Wang | ||||
| 2008 | GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; W.-C. Chan; C.-J. Luo | ||||
| 2007 | GOAL: A Graphical Tool for Manipulating Buechi Automata and Temporal Formulae | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan | ||||
| 2007 | GOAL: A graphical tool for manipulating Büchi automata and temporal formulae | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan | ||||
| 2009 | Tool support for learning Büchi automata and linear temporal logic | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan; C.-J. Luo; J.-S. Chang | Formal Aspects of Computing 21(3), 259-275 |
