research
∙
07/12/2023
Stability Guarantees for Feature Attributions with Multiplicative Smoothing
Explanation methods for machine learning models tend to not provide any ...
share
research
∙
05/26/2023
Policy Synthesis and Reinforcement Learning for Discounted LTL
The difficulty of manually specifying reward functions has led to an int...
research
∙
02/06/2023
Robust Subtask Learning for Compositional Generalization
Compositional reinforcement learning is a promising approach for trainin...
research
∙
06/07/2022
Parametric Chordal Sparsity for SDP-based Neural Network Verification
Many future technologies rely on neural networks, but verifying the corr...
research
∙
06/06/2022
Specification-Guided Learning of Nash Equilibria with High Social Welfare
Reinforcement learning has been shown to be an effective strategy for au...
research
∙
10/12/2021
NetRep: Automatic Repair for Network Programs
Debugging imperative network programs is a challenging task for develope...
research
∙
06/25/2021
Compositional Reinforcement Learning from Logical Specifications
We study the problem of learning control policies for complex tasks give...
research
∙
04/09/2021
Stream Processing With Dependency-Guided Synchronization
Real-time data processing applications with low latency requirements hav...
research
∙
10/29/2020
Abstract Value Iteration for Hierarchical Reinforcement Learning
We propose a novel hierarchical reinforcement learning framework for con...
research
∙
10/13/2020
Session-layer Attack Traffic Classification by Program Synthesis
Writing classification rules to identify malicious network traffic is a ...
research
∙
08/21/2020
A Composable Specification Language for Reinforcement Learning Tasks
Reinforcement learning is a promising approach for learning control poli...
research
∙
07/07/2020
Computer-Aided Personalized Education
The shortage of people trained in STEM fields is becoming acute, and uni...
research
∙
10/24/2019
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
This paper describes a verification case study on an autonomous racing c...
research
∙
04/12/2019
SyGuS-Comp 2018: Results and Analysis
Syntax-guided synthesis (SyGuS) is the computational problem of finding ...
research
∙
09/27/2018
Equilibria in Quantitative Concurrent Games
Synthesis of finite-state controllers from high-level specifications in ...
research
∙
07/10/2018
Streamable Regular Transductions
Motivated by real-time monitoring and data processing applications, we d...
research
∙
11/29/2017