publication venue for

• Literacy and STEM Teachers Adapt AI Ethics Curriculum 2023
• Incentivized Exploration for Multi-Armed Bandits under Reward Drift 2020
• Differential Performance Debugging with Discriminant Regression Trees 2018
• A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs 2024
• Assume-Guarantee Reinforcement Learning 2024
Neural Closure Certificates 2024
Omega-Regular Decision Processes 2024
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements 2023
Robust Average-Reward Markov Decision Processes 2023
Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games 2023
Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations 2022
Bayesian Optimized Monte Carlo Planning 2021
Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search 2021
Shape-based Feature Engineering for Solar Flare Prediction 2021
Learning to Learn Morphological Inflection for Resource-Poor Languages 2020
Preventing Arbitrage from Collusion When Eliciting Probabilities 2020
Verb Class Induction with Partial Supervision 2020
Weakly Supervised POS Taggers Perform Poorly on Truly Low-Resource Languages 2020
Leveraging Textual Specifications for Grammar-Based Fuzzing of Network Protocols 2019
Automating Analysis and Feedback to Improve Mathematics Teachers' Classroom Discourse 2019
Partial Verification as a Substitute for Money 2019
Efficiency and Safety in Autonomous Vehicles through Planning with Uncertainty (Thesis Summary) 2018
Randomized Clustered Nystrom for Large-Scale Kernel Machines 2018
ERMMA: Expected Risk Minimization for Matrix Approximation-based Recommender Systems 2017
GLOMA: Embedding Global Information in Local Matrix Approximation Models for Collaborative Filtering 2017
Robust Partially-Compressed Least-Squares 2017
The Complexity of Stable Matchings under Substitutable Preferences 2017
Detecting Change Points in the Large-Scale Structure of Evolving Networks 2015
Elicitation for Aggregation 2015
Fair Information Sharing for Treasure Hunting 2015
Social Hierarchical Learning 2015
Providing Decision Support for Cosmogenic Isotope Dating 2010
... more