On the Cyber-Physical Security of Emerging AI-Enabled Autonomous Cyber-Physical Systems
Alfred Chen,University of California, Irvine
The Smoothed and Semi-Random Possibilities of Social Choice
Lirong Xia, Rensselaer Polytechnic Institute (RPI)
Improving Symbolic Execution with Techniques from Formal Verification-- An experience report of developing Move Prover
Meng Xu, University of Waterloo, Canada
An Author-Assisted Approach to Improving Peer Review for CS Conferences
Weijie Su,University of Pennsylvania
Online Policy Optimization for Robust MDP
Baoxiang Wang, The Chinese University of Hong Kong(Shenzhen)