Cummings receives funding for project focused on synthesizing temporal logic & human performance models for deception mitigation
Mary L. Cummings, Professor, Mechanical Engineering, Electrical & Computer, Computer Science, received funding for the project: "Synthesizing temporal logic and human performance ...