Korat Development Team
Aleksandar Milicevic
Computer Science and Artificial Intelligence LaboratoryMassachusetts Institute of Technology
Sasa Misailovic
Computer Science and Artificial Intelligence LaboratoryMassachusetts Institute of Technology
Darko Marinov
Department of Computer ScienceUniversity of Illinois at Urbana-Champaign
Sarfraz Khurshid
Electrical and Computer Engineering DepartmentUniversity of Texas at Austin
