FRIC Internal Grants Recipients

First Name
Byron

Last Name
DeVries

Department
Computer Science

Project Title
Pruning of Transition Systems via Environmental Models to Reduce Model-Checking State-Space in Robotic Systems

Grant Type
Mini Grant

Grant Cycle/Year
2025-2026

Funds Awarded
500.00

College
College of Computing

College Acronym
COC

Back to Responses