Jacob William Anderson

Computer science

Hometown: Gilbert, Arizona, United States

Graduation date: Spring 2021

Jacob Anderson
Security icon, disabled. A blue padlock, locked.

FURI | Spring 2021

DSL Interface for Spatio-Temporal Perception Logic Specifications

With the rise of autonomous driving systems (ADS), the need for validating the efficacy of the perception subsystems utilized becomes more apparent. The use of Spatio-Temporal Perception Logic (STPL) permits writing formal requirements capable of verifying such systems; however, the development of these written requirements quickly becomes verbose causing overhead in the verification process. Utilizing a domain-specific language (DSL) interface with language support elements of syntax highlighting, auto-completion, auto-indentation, and bracket matching increases the ability to seamlessly write, debug, and understand a requirement, thus reducing the risk for potentially fatal errors during validation and deployment.

Mentor:

View the poster
QR code for the current page

It’s hip to be square.

Students presenting projects at the symposium are encouraged to download this personal QR code and include it within your poster. This allows symposium attendees to explore more about your project and about you in the future. 

Right click the image to save it to your computer.

FURI Totals

TotalStudents

0

FacultyMentors

0

OnlineSymposia

0

FocusAreas

0

FURIProjects

0

MOREProjects

0

KEENProjects

0

GCSPProjects

0