output
20112026
most citedAn Inductive Synthesis Framework for Verifiable Reinforcement Learning

52 citations

researchers with a paper here
collaborating institutions
Showing cs.ARShow all

1 paper · 1 filter

cs.AR2020★ 9 cited

SERAD: Soft Error Resilient Asynchronous Design using a Bundled Data Protocol

Sai Aparna Aketi, Smriti Gupta, Huimei Cheng +2

The risk of soft errors due to radiation continues to be a significant challenge for engineers trying to build systems that can handle harsh environments. Building systems that are…