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