Scientific Publications

1321.

Working Paper

Heidari, H.; Ferrari, C.; Gummadi, K. P.; Krause, A.: Fairness Behind a Veil of Ignorance: A Welfare Analysis for Automated Decision Making. (2018), 17 pp.

MPG.PuRe

pre-print

1322.

Working Paper

Neider, D.; Gavran, I.: Learning Linear Temporal Properties. (2018), 10 pp.

MPG.PuRe

pre-print

1323.

Working Paper

Upadhyay, U.; De, A.; Gomez Rodriguez, M.: Deep Reinforcement Learning of Marked Temporal Point Processes. (2018), 20 pp.

MPG.PuRe

pre-print

1324.

Working Paper

Valera, I.; Singla, A.; Gomez Rodriguez, M.: Enhancing the Accuracy and Fairness of Human Decision Making. (2018), 11 pp.

MPG.PuRe

pre-print

1325.

Working Paper

Zhu, X.; Singla, A.; Zilles, S.; Rafferty, A. N.: An Overview of Machine Teaching. (2018), 18 pp.

MPG.PuRe

pre-print

1326.

Working Paper

Aguirre, A.; Barthe, G.; Gaboardi, M.; Garg, D.; Strub, P.-Y.: A Relational Logic for Higher-Order Programs. (2017), 57 pp.

MPG.PuRe

pre-print

1327.

Working Paper

Bichhawat, A.; Rajani, V.; Jain, J.; Garg, D.; Hammer, C.: WebPol: Fine-grained Information Flow Policies for Web Browsers. (2017), 21 pp.

MPG.PuRe

pre-print

1328.

Working Paper

Brahmakshatriya, A.; Kedia, P.; McKee, D. P.; Bhatu, P.; Garg, D.; Lal, A.; Rastogi, A.: An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code. (2017), 14 pp.

MPG.PuRe

pre-print

1329.

Working Paper

Chakraborty, A.; Messias, J.; Benevenuto, F.; Ghosh, S.; Ganguly, N.; Gummadi, K.: Who Makes Trends? Understanding Demographic Biases in Crowdsourced Recommendations. (2017), 10 pp.

MPG.PuRe

pre-print

1330.

Working Paper

Chakraborty, A.; Ali, M.; Ghosh, S.; Ganguly, N.; Gummadi, K.: On Quantifying Knowledge Segregation in Society. (2017), 5 pp.

MPG.PuRe

pre-print

1331.

Working Paper

D'Souza, D.; Ezudheen, P.; Garg, P.; Madhusudan, P.; Neider, D.: Horn-ICE Learning for Synthesizing Invariants and Contracts. (2017), 18 pp.

MPG.PuRe

pre-print

1332.

Working Paper

Deshmukh, J. V.; Jin, X.; Majumdar, R.; Prabhu, V.: Parameter Optimization in Control Software using Statistical Fault Localization Techniques. (2017), 12 pp.

MPG.PuRe

pre-print

1333.

Working Paper

Dimitrova, R.; Gavran, I.; Majumdar, R.; Prabhu, V.; Soudjani, S.: The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. (2017), 20 pp.

MPG.PuRe

pre-print

1334.

Working Paper

Farahani, S. S.; Majumdar, R.; Prabhu, V.; Soudjani, S.: Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances. (2017), 11 pp.

MPG.PuRe

pre-print

1335.

Working Paper

Fijalkow, N.; Ohlmann, P.; Ouaknine, J.; Pouly, A.; Worrell, J.: Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. (2017), 13 pp.

MPG.PuRe

pre-print

1336.

Working Paper

Garg, D.; Hritcu, C.; Patrignani, M.; Stronati, M.; Swasey, D.: Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). (2017), 3 pp.

MPG.PuRe

pre-print

1337.

Working Paper

Grgić-Hlača, N.; Zafar, M. B.; Gummadi, K.; Weller, A.: On Fairness, Diversity and Randomness in Algorithmic Decision Making. (2017), 7 pp.

MPG.PuRe

pre-print

1338.

Working Paper

Hirnschall, C.; Singla, A.; Tschiatschek, S.; Krause, A.: Learning User Preferences to Incentivize Exploration in the Sharing Economy. (2017), 18 pp.

MPG.PuRe

pre-print

1339.

Working Paper

Jankowiak, M.; Gomez Rodriguez, M.: Uncovering the Spatiotemporal Patterns of Collective Social Activity. (2017), 22 pp.

MPG.PuRe

pre-print

1340.

Working Paper

Kim, J.; Tabibian, B.; Oh, A.; Schoelkopf, B.; Gomez Rodriguez, M.: Leveraging the Crowd to Detect and Reduce the Spread of Fake News and Misinformation. (2017), 15 pp.

MPG.PuRe

pre-print

Working Paper (120)

Notification Settings