75 citations · 261 across the 31 of their papers we have counts for
4 papers · 1 filter
A learning-based algorithm to quickly compute good primal solutions for Stochastic Integer Programs
Yoshua Bengio, Emma Frejinger, Andrea Lodi +2
We propose a novel approach using supervised learning to obtain near-optimal primal solutions for two-stage stochastic integer programming (2SIP) problems with constraints in the f…
When Nash Meets Stackelberg
Margarida Carvalho, Gabriele Dragotto, Felipe Feijoo +2
This article introduces a class of games among players (), namely, a class of simultaneous non-cooperative games where the players solve sequential Stac…
Efficient Detection and Quantification of Timing Leaks with Neural Networks
Saeid Tizpaz-Niari, Pavol Cerny, Sriram Sankaranarayanan +1
Detection and quantification of information leaks through timing side channels are important to guarantee confidentiality. Although static analysis remains the prevalent approach f…
Formal Policy Learning from Demonstrations for Reachability Properties
Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia
We consider the problem of learning structured, closed-loop policies (feedback laws) from demonstrations in order to control under-actuated robotic systems, so that formal behavior…