100 citations · 314 across the 34 of their papers we have counts for
4 papers · 1 filter
A Framework for Transforming Specifications in Reinforcement Learning
Rajeev Alur, Suguman Bansal, Osbert Bastani +1
Reactive synthesis algorithms allow automatic construction of policies to control an environment modeled as a Markov Decision Process (MDP) that are optimal with respect to high-le…
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…
Compositional Reinforcement Learning from Logical Specifications
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani +1
We study the problem of learning control policies for complex tasks given by logical specifications. Recent approaches automatically generate a reward function from a given specifi…
Stream Processing With Dependency-Guided Synchronization (Extended Version)
Konstantinos Kallas, Filip Niksic, Caleb Stanford +1
Real-time data processing applications with low latency requirements have led to the increasing popularity of stream processing systems. While such systems offer convenient APIs th…