Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is based on ...

Boise State’s First Year Math program is named the greatest student success program in the country by the Association of Public and Land-Grant Universities. Closed captions are available and a text ...

Job Title Professor of Mathematics Math & Computer Science, College of Arts and Sciences Highlight Kinney teaches the complete range of mathematics courses. His most recent sabbatical project focused ...