Haejin Yang

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Multi Agent Systems

Top Venues

Int. J. Softw. Eng. Knowl. Eng.

Publications

Wonhong Nam, Haejin Yang, Hyunyoung Kil
Winning Strategy Tree Construction for BDD-Based ATL Model Checkers. Int. J. Softw. Eng. Knowl. Eng. 30 (4) (2020)