30 citations · 47 across the 8 of their papers we have counts for
15 papers
NetRep: Automatic Repair for Network Programs
Lei Shi, Yuepeng Wang, Rajeev Alur +1
Debugging imperative network programs is a challenging task for developers because understanding various network modules and complicated data structures is typically time-consuming…
Session-layer Attack Traffic Classification by Program Synthesis
Lei Shi, Yahui Li, Rajeev Alur +1
Writing classification rules to identify malicious network traffic is a time-consuming and error-prone task. Learning-based classification systems automatically extract such rules…
Abstract Value Iteration for Hierarchical Reinforcement Learning
Kishor Jothimurugan, Osbert Bastani, Rajeev Alur
We propose a novel hierarchical reinforcement learning framework for control with continuous state and action spaces. In our framework, the user specifies subgoal regions which are…
A Composable Specification Language for Reinforcement Learning Tasks
Kishor Jothimurugan, Rajeev Alur, Osbert Bastani
Reinforcement learning is a promising approach for learning control policies for robot tasks. However, specifying complex tasks (e.g., with multiple objectives and safety constrain…
Computer-Aided Personalized Education
Rajeev Alur, Richard Baraniuk, Rastislav Bodik +10
The shortage of people trained in STEM fields is becoming acute, and universities and colleges are straining to satisfy this demand. In the case of computer science, for instance,…
Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller
Radoslav Ivanov, Taylor J. Carpenter, James Weimer +3
This paper describes a verification case study on an autonomous racing car with a neural network (NN) controller. Although several verification approaches have been proposed over t…