TELOS, A LANGUAGE FOR BUILDING WELL-STRUCTURED AI MODELS

by L. Travis , M. Honda , R. Leblanc , S. Zeigler