Working Paper (120)
1301.
Working Paper
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. (2022), 122 pp.
1302.
Working Paper
Modeling Coordinated vs. P2P Mining: An Analysis of Inefficiency and Inequality in Proof-of-Work Blockchains. (2021), 12 pp.
1303.
Working Paper
Defense Against Reward Poisoning Attacks in Reinforcement Learning. (2021), 36 pp.
1304.
Working Paper
RAID: Randomized Adversarial-Input Detection for Neural Networks. (2021), 12 pp.
1305.
Working Paper
How we browse: Measurement and analysis of digital behavior. (2021), 23 pp.
1306.
Working Paper
Reward Poisoning in Reinforcement Learning: Attacks Against Unknown Learners in Unknown Environments. (2021), 22 pp.
1307.
Working Paper
Abstraction-Based Output-Feedback Control with State-Based Specifications. (2021), 12 pp.
1308.
Working Paper
Counterfactual Explanations in Sequential Decision Making Under Uncertainty. (2021), 18 pp.
1309.
Working Paper
Group Testing under Superspreading Dynamics. (2021)
1310.
Working Paper
The Decidability of Verification under Promising 2.0. (2020), 63 pp.
1311.
Working Paper
PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation. (2020), 21 pp.
1312.
Working Paper
Probabilistic Bisimulation for Parameterized Systems (Technical Report). Technical Report (2020), 24 pp.
1313.
Working Paper
Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game. (2020), 12 pp.
1314.
Working Paper
Balancing the Tradeoff between Profit and Fairness in Rideshare Platforms During High-Demand Hours. (2019), 8 pp.
1315.
Working Paper
No DNN Left Behind: Improving Inference in the Cloud with Multi-Tenancy. (2019), 5 pp.
1316.
Working Paper
Equity of Attention: Amortizing Individual Fairness in Rankings. (2018), 10 pp.
1317.
Working Paper
Understanding the Role of Adaptivity in Machine Teaching: The Case of Version Space Learners. (2018), 25 pp.
1318.
Working Paper
Extended Diffix. (2018), 26 pp.
1319.
Working Paper
Precise but Natural Specification for Robot Tasks. (2018), 7 pp.
1320.
Working Paper
Teaching Inverse Reinforcement Learners via Features and Demonstrations. (2018), 13 pp.