4 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.CR2025
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
Weihang Li, Pete Crowley, Arya Tschand +3
Rigorous quantitative evaluation of microarchitectural side channels is challenging for two reasons. First, the processors, attacks, and defenses often exhibit probabilistic behavi…
cs.SE2025★ 4 cited
NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS
Xi Zheng, Ziyang Li, Ivan Ruchkin +2
Autonomous cyber-physical systems (CPSs) leverage AI for perception, planning, and control but face trust and safety certification challenges due to inherent uncertainties. The neu…
cs.AI2024★ 1 cited
On the Uniqueness of Solution for the Bellman Equation of LTL Objectives
Zetong Xuan, Alper Kamil Bozkurt, Miroslav Pajic +1
Surrogate rewards for linear temporal logic (LTL) objectives are commonly utilized in planning problems for LTL objectives. In a widely-adopted surrogate reward approach, two disco…