52 citations · 120 across the 14 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LG2020★ 3 cited
Robustness to Adversarial Attacks in Learning-Enabled Controllers
Zikang Xiong, Joe Eappen, He Zhu +1
Learning-enabled controllers used in cyber-physical systems (CPS) are known to be susceptible to adversarial attacks. Such attacks manifest as perturbations to the states generated…
cs.PL2020★ 4 cited
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
Geo-replicated systems provide a number of desirable properties such as globally low latency, high availability, scalability, and built-in fault tolerance. Unfortunately, programmi…