1 citations · 3 across the 5 of their papers we have counts for
5 papers
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…
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…
Isomorphisms between dense random graphs
Erlang Surya, Lutz Warnke, Emily Zhu
We consider two variants of the induced subgraph isomorphism problem for two independent binomial random graphs with constant edge-probabilities p_1,p_2. In particular, (i) we prov…
On multicolor Ramsey numbers of triple system paths of length 3
Tom Bohman, Emily Zhu
Let be a 3-uniform hypergraph. The multicolor Ramsey number is the smallest integer such that every coloring of with col…
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…