Forschungspapier (120)

1301.
Forschungspapier
Lut, Y.; Wang, M.; Redmiles, E. M.; Cummings, R.: How we browse: Measurement and analysis of digital behavior. (2021), 23 S.
1302.
Forschungspapier
Rakhsha, A.; Zhang, X.; Zhu, X.; Singla, A.: Reward Poisoning in Reinforcement Learning: Attacks Against Unknown Learners in Unknown Environments. (2021), 22 S.
1303.
Forschungspapier
Schmuck, A.-K.; Zareian, M.: Abstraction-Based Output-Feedback Control with State-Based Specifications. (2021), 12 S.
1304.
Forschungspapier
Tsirtsis, S.; De, A.; Gomez Rodriguez, M.: Counterfactual Explanations in Sequential Decision Making Under Uncertainty. (2021), 18 S.
1305.
Forschungspapier
Tsirtsis, S.; De, A.; Lorch, L.; Gomez Rodriguez, M.: Group Testing under Superspreading Dynamics. (2021)
1306.
Forschungspapier
Abdulla, P. A.; Atig, M. F.; Godbole, A.; Krishna, S.; Vafeiadis, V.: The Decidability of Verification under Promising 2.0. (2020), 63 S.
1307.
Forschungspapier
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 S.
1308.
Forschungspapier
Hong, C.-D.; Lin, A. W.; Majumdar, R.; Rümmer, P.: Probabilistic Bisimulation for Parameterized Systems (Technical Report). Technical Report (2020), 24 S.
1309.
Forschungspapier
Majumdar, R.; Schmuck, A.-K.: Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game. (2020), 12 S.
1310.
Forschungspapier
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 S.
1311.
Forschungspapier
Samanta, A.; Shrinivasan, S.; Kaufmann, A.; Mace, J.: No DNN Left Behind: Improving Inference in the Cloud with Multi-Tenancy. (2019), 5 S.
1312.
Forschungspapier
Biega, A. J.; Gummadi, K. P.; Weikum, G.: Equity of Attention: Amortizing Individual Fairness in Rankings. (2018), 10 S.
1313.
Forschungspapier
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 S.
1314.
Forschungspapier
Francis, P.; Probst-Eide, S.; Obrok, P.; Berneanu, C.; Juric, S.; Munz, R.: Extended Diffix. (2018), 26 S.
1315.
Forschungspapier
Gavran, I.; Boldt, B.; Darulova, E.; Majumdar, R.: Precise but Natural Specification for Robot Tasks. (2018), 7 S.
1316.
Forschungspapier
Haug, L.; Tschiatschek, S.; Singla, A.: Teaching Inverse Reinforcement Learners via Features and Demonstrations. (2018), 13 S.
1317.
Forschungspapier
Heidari, H.; Ferrari, C.; Gummadi, K. P.; Krause, A.: Fairness Behind a Veil of Ignorance: A Welfare Analysis for Automated Decision Making. (2018), 17 S.
1318.
Forschungspapier
Neider, D.; Gavran, I.: Learning Linear Temporal Properties. (2018), 10 S.
1319.
Forschungspapier
Upadhyay, U.; De, A.; Gomez Rodriguez, M.: Deep Reinforcement Learning of Marked Temporal Point Processes. (2018), 20 S.
1320.
Forschungspapier
Valera, I.; Singla, A.; Gomez Rodriguez, M.: Enhancing the Accuracy and Fairness of Human Decision Making. (2018), 11 S.
Zur Redakteursansicht