100 citations · 314 across the 34 of their papers we have counts for
4 papers · 1 filter
Composing Copyless Streaming String Transducers
Rajeev Alur, Taylor Dohmen, Ashutosh Trivedi
Streaming string transducers (SSTs) implement string-to-string transformations by reading each input word in a single left-to-right pass while maintaining fragments of potential ou…
Specification-Guided Learning of Nash Equilibria with High Social Welfare
Kishor Jothimurugan, Suguman Bansal, Osbert Bastani +1
Reinforcement learning has been shown to be an effective strategy for automatically training policies for challenging control problems. Focusing on non-cooperative multi-agent syst…
Chordal Sparsity for SDP-based Neural Network Verification
Anton Xue, Lars Lindemann, Rajeev Alur
Neural networks are central to many emerging technologies, but verifying their correctness remains a major challenge. It is known that network outputs can be sensitive and fragile…
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks
Anton Xue, Lars Lindemann, Alexander Robey +3
Lipschitz constants of neural networks allow for guarantees of robustness in image classification, safety in controller design, and generalizability beyond the training data. As ca…