Forschungspapier (31)
101.
Forschungspapier
On Quantifying Knowledge Segregation in Society. (2017), 5 S.
102.
Forschungspapier
Horn-ICE Learning for Synthesizing Invariants and Contracts. (2017), 18 S.
103.
Forschungspapier
Parameter Optimization in Control Software using Statistical Fault Localization Techniques. (2017), 12 S.
104.
Forschungspapier
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. (2017), 20 S.
105.
Forschungspapier
Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances. (2017), 11 S.
106.
Forschungspapier
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. (2017), 13 S.
107.
Forschungspapier
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). (2017), 3 S.
108.
Forschungspapier
On Fairness, Diversity and Randomness in Algorithmic Decision Making. (2017), 7 S.
109.
Forschungspapier
Learning User Preferences to Incentivize Exploration in the Sharing Economy. (2017), 18 S.
110.
Forschungspapier
Uncovering the Spatiotemporal Patterns of Collective Social Activity. (2017), 22 S.
111.
Forschungspapier
Leveraging the Crowd to Detect and Reduce the Spread of Fake News and Misinformation. (2017), 15 S.
112.
Forschungspapier
Characterizing Information Diets of Social Media Users. (2017), 11 S.
113.
Forschungspapier
Harnessing Natural Experiments to Quantify the Causal Effect of Badges. (2017), 13 S.
114.
Forschungspapier
Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. (2017), 6 S.
115.
Forschungspapier
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report). (2017), 21 S.
116.
Forschungspapier
Compositional Construction of Finite State Abstractions for Stochastic Control Systems. (2017), 8 S.
117.
Forschungspapier
Synthesizing Optimally Resilient Controllers. (2017), 19 S.
118.
Forschungspapier
Invariant Synthesis for Incomplete Verification Engines. (2017), 23 S.
119.
Forschungspapier
Information Gathering with Peers: Submodular Optimization with Peer-Prediction Constraints. (2017), 12 S.
120.
Forschungspapier
Learning Asynchronous Typestates for Android Classes. (2017), 26 S.