1 citations · 1 across the 1 of their papers we have counts for
3 papers
eess.SY2025
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
Yiqi Zhao, Emily Zhu, Bardh Hoxha +3
Cyber-physical systems (CPS) designed in simulators, often consisting of multiple interacting agents (e.g. in multi-agent formations), behave differently in the real-world. We want…
math.PR2024★ 1 cited
Two-Point Concentration of the Domination Number of Random Graphs
Tom Bohman, Lutz Warnke, Emily Zhu
We show that the domination number of the binomial random graph G_{n,p} with edge-probability p is concentrated on two values for p \ge n^{-2/3+\eps}, and not concentrated on two v…
cs.IT2018
Multicast Triangular Semilattice Network
Angelina Grosso, Felice Manganiello, Shiwani Varal +1
We investigate the structure of the code graph of a multicast network that has a characteristic shape of an inverted equilateral triangle. We provide a criterion that determines th…