14 employees
Kestrel Institute researches on domain-specific synthesis, formal analysis and verification, machine learning, planning and scheduling.
1981
