Working Paper (31)

101.
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
102.
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
103.
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
104.
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
105.
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
106.
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
107.
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
108.
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
109.
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
110.
Working Paper
Jankowiak, M.; Gomez Rodriguez, M.: Uncovering the Spatiotemporal Patterns of Collective Social Activity. (2017), 22 pp.
MPG.PuRe
pre-print
111.
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
112.
Working Paper
Kulshrestha, J.; Zafar, M. B.; Espin Noboa, L.; Gummadi, K.; Ghosh, S.: Characterizing Information Diets of Social Media Users. (2017), 11 pp.
MPG.PuRe
pre-print
113.
Working Paper
Kusmierczyk, T.; Gomez Rodriguez, M.: Harnessing Natural Experiments to Quantify the Causal Effect of Badges. (2017), 13 pp.
MPG.PuRe
pre-print
114.
Working Paper
Lavaei, A.; Soudjani, S.; Majumdar, R.; Zamani, M.: Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. (2017), 6 pp.
MPG.PuRe
pre-print
115.
Working Paper
Lengál, O.; Lin, A. W.; Majumdar, R.; Rümmer, P.: Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report). (2017), 21 pp.
MPG.PuRe
pre-print
116.
Working Paper
Mallik, K.; Soudjani, S.; Schmuck, A.-K.; Majumdar, R.: Compositional Construction of Finite State Abstractions for Stochastic Control Systems. (2017), 8 pp.
MPG.PuRe
pre-print
117.
Working Paper
Neider, D.; Weinert, A.; Zimmermann, M.: Synthesizing Optimally Resilient Controllers. (2017), 19 pp.
MPG.PuRe
pre-print
118.
Working Paper
Neider, D.; Garg, P.; Madhusudan, P.; Saha, S.; Park, D.: Invariant Synthesis for Incomplete Verification Engines. (2017), 23 pp.
MPG.PuRe
pre-print
119.
Working Paper
Radanovic, G.; Singla, A.; Krause, A.; Faltings, B.: Information Gathering with Peers: Submodular Optimization with Peer-Prediction Constraints. (2017), 12 pp.
MPG.PuRe
pre-print
120.
Working Paper
Radhakrishna, A.; Lewchenko, N.; Meier, S.; Mover, S.; Sripada, K. C.; Zufferey, D.; Chang, B.-Y. E.; Černý, P.: Learning Asynchronous Typestates for Android Classes. (2017), 26 pp.
MPG.PuRe
pre-print
Web-View
Print Page
Open in new window
Estimated DIN-A4 page-width
Go to Editor View