Papers, articles, and academic work.
Prepub
Philip Smith, Ahmad Ahmad, Kevin Leahy
Synthesis of TWTL specifications using MILP. Showcased that it is more effecient than STL for lots of sequential tasks.
ROSCon 2024, Odense, Denmark
Philip Smith
Demonstrated the use of CAN-FD as a transport layer for Micro-ROS between an Nvidia Jetson and Teensy 4.0, enabling high-throughput communication for resource-constrained robotic systems.
Journal of Computing Sciences in Colleges, Volume 39, Issue 8
Matthew McQuaigue, Mack Larson, Philip Smith, Sydney Melech, Kalpathi Subramanian, Erik Saule
Developed and implemented audio-based programming assignments for introductory computer science courses and analyzed student performance data to assess the impact of audio-driven learning.