Christopher W. Fletcher

collaborators

2 papers

cs.RO2025

Characterizing and Optimizing Real-Time Optimal Control for Embedded SoCs

Kris Shengjun Dong, Dima Nikiforov, Widyadewi Soedarmadji +4

Resource-limited robots face significant challenges in executing computationally intensive tasks, such as locomotion and manipulation, particularly for real-time optimal control al…

cs.CR2024

RTL2M $I^¼$ PATH: Multi- $I^¼$ PATH Synthesis with Applications to Hardware Security Verification

Yao Hsiao, Nikos Nikoleris, Artem Khyzha +4

The Check tools automate formal memory consistency model and security verification of processors by analyzing abstract models of microarchitectures, called $I^¼$ SPEC models. Despite…

Characterizing and Optimizing Real-Time Optimal Control for Embedded SoCs

RTL2MI^¼PATH: Multi-I^¼PATH Synthesis with Applications to Hardware Security Verification

RTL2M $I^¼$ PATH: Multi- $I^¼$ PATH Synthesis with Applications to Hardware Security Verification