2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LG2024★ 2 cited
Safe Time-Varying Optimization based on Gaussian Processes with Spatio-Temporal Kernel
Jialin Li, Marta Zagorowska, Giulia De Pasquale +2
Ensuring safety is a key aspect in sequential decision making problems, such as robotics or process control. The complexity of the underlying systems often makes finding the optima…
cs.DC2023
Chrono: A Peer-to-Peer Network with Verifiable Causality
Michael Hu Yiqing, Guangda Sun, Arun Fu +2
Logical clocks are a fundamental tool to establish causal ordering of events in a distributed system. They have been used as the building block in weakly consistent storage systems…
cs.DC2022
Mixed Fault Tolerance Protocols with Trusted Execution Environment
Mingyuan Gao, Hung Dang, Ee-Chien Chang +1
Blockchain systems are designed, built and operated in the presence of failures. There are two dominant failure models, namely crash fault and Byzantine fault. Byzantine fault tole…