100 citations · 314 across the 34 of their papers we have counts for
4 papers · 1 filter
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,…