Scientific Publications

1301.

Working Paper

Vassena, M.; Russo, A.; Garg, D.; Rajani, V.; Stefan, D.: From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. (2022), 122 pp.

MPG.PuRe

Full

1302.

Working Paper

Alzayat, M. W. M.; Messias, J.; Chandrasekaran, B.; Gummadi, K.; Loiseau, P.: Modeling Coordinated vs. P2P Mining: An Analysis of Inefficiency and Inequality in Proof-of-Work Blockchains. (2021), 12 pp.

MPG.PuRe

pre-print

1303.

Working Paper

Banihashem, K.; Singla, A.; Radanovic, G.: Defense Against Reward Poisoning Attacks in Reinforcement Learning. (2021), 36 pp.

MPG.PuRe

pre-print

1304.

Working Paper

Eniser, H. F.; Christakis, M.; Wüstholz, V.: RAID: Randomized Adversarial-Input Detection for Neural Networks. (2021), 12 pp.

MPG.PuRe

pre-print

1305.

Working Paper

Lut, Y.; Wang, M.; Redmiles, E. M.; Cummings, R.: How we browse: Measurement and analysis of digital behavior. (2021), 23 pp.

MPG.PuRe

pre-print

1306.

Working Paper

Rakhsha, A.; Zhang, X.; Zhu, X.; Singla, A.: Reward Poisoning in Reinforcement Learning: Attacks Against Unknown Learners in Unknown Environments. (2021), 22 pp.

MPG.PuRe

pre-print

1307.

Working Paper

Schmuck, A.-K.; Zareian, M.: Abstraction-Based Output-Feedback Control with State-Based Specifications. (2021), 12 pp.

MPG.PuRe

DOI

pre-print

1308.

Working Paper

Tsirtsis, S.; De, A.; Gomez Rodriguez, M.: Counterfactual Explanations in Sequential Decision Making Under Uncertainty. (2021), 18 pp.

MPG.PuRe

pre-print

1309.

Working Paper

Tsirtsis, S.; De, A.; Lorch, L.; Gomez Rodriguez, M.: Group Testing under Superspreading Dynamics. (2021)

MPG.PuRe

pre-print

1310.

Working Paper

Abdulla, P. A.; Atig, M. F.; Godbole, A.; Krishna, S.; Vafeiadis, V.: The Decidability of Verification under Promising 2.0. (2020), 63 pp.

MPG.PuRe

pre-print

1311.

Working Paper

Barthe, G.; De Viti, R.; Druschel, P.; Garg, D.; Gomez Rodriguez, M.; Ingo, P.; Lentz, M.; Mehta, A.; Schölkopf, B.: PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation. (2020), 21 pp.

MPG.PuRe

pre-print

1312.

Working Paper

Hong, C.-D.; Lin, A. W.; Majumdar, R.; Rümmer, P.: Probabilistic Bisimulation for Parameterized Systems (Technical Report). Technical Report (2020), 24 pp.

MPG.PuRe

pre-print

1313.

Working Paper

Majumdar, R.; Schmuck, A.-K.: Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game. (2020), 12 pp.

MPG.PuRe

DOI

pre-print

1314.

Working Paper

Nanda, V.; Xu, P.; Sankararaman, K. A.; Dickerson, J. P.; Srinivasan, A.: Balancing the Tradeoff between Profit and Fairness in Rideshare Platforms During High-Demand Hours. (2019), 8 pp.

MPG.PuRe

pre-print

1315.

Working Paper

Samanta, A.; Shrinivasan, S.; Kaufmann, A.; Mace, J.: No DNN Left Behind: Improving Inference in the Cloud with Multi-Tenancy. (2019), 5 pp.

MPG.PuRe

DOI

pre-print

1316.

Working Paper

Biega, A. J.; Gummadi, K. P.; Weikum, G.: Equity of Attention: Amortizing Individual Fairness in Rankings. (2018), 10 pp.

MPG.PuRe

1317.

Working Paper

Chen, Y.; Singla, A.; Mac Aodha, O.; Perona, P.; Yue, Y.: Understanding the Role of Adaptivity in Machine Teaching: The Case of Version Space Learners. (2018), 25 pp.

MPG.PuRe

pre-print

1318.

Working Paper

Francis, P.; Probst-Eide, S.; Obrok, P.; Berneanu, C.; Juric, S.; Munz, R.: Extended Diffix. (2018), 26 pp.

MPG.PuRe

pre-print

1319.

Working Paper

Gavran, I.; Boldt, B.; Darulova, E.; Majumdar, R.: Precise but Natural Specification for Robot Tasks. (2018), 7 pp.

MPG.PuRe

pre-print