Krishnamurthy Dvijotham | Dj's research website

Latest

Role of Human-AI Interaction in Selective Prediction
Fixed-point Theorem-based Voltage Stability Margin Estimation Techniques for Distribution Systems with Renewables
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
Overcoming the Convex Barrier for Simplex Inputs
Robust optimization for electricity generation
Achieving robustness in the wild via adversarial mixing with disentangled representations
An efficient nonconvex reformulation of stagewise convex optimization problems
Convergence of incentive-driven dynamics in Fisher markets
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Lagrangian decomposition for neural network verification
Optimal pricing in markets with nonconvex costs
The Autoencoding Variational Autoencoder
A Dual Approach to Verify and Train Deep Networks.
A sufficient condition for small-signal stability and construction of robust stability region
Achieving verified robustness to symbol substitutions via interval bound propagation
Adversarial robustness through local linearization
Convex restriction of power flow feasibility sets
Knowing when to stop: Evaluation and verification of conformity to output-size specifications
A dual approach to scalable verification of deep networks
Learning Fast Optimizers for Contextual Stochastic Integer Programs
Convergence of incentive-driven dynamics in Fisher markets
Graphical models for optimal power flow
Convex Structured Controller Design in Finite Horizon
Systems of quadratic equations: Efficient solution algorithms and conditions for solvability
Automating Stochastic Optimal Control
Convex risk averse control design
Storage sizing and placement through operational and uncertainty-aware simulations
Universal Convexification via Risk-Aversion
Convex Control Design via Covariance Minimization
Convexity of Optimal Linear Controller Design
Time varying nonlinear Policy Gradients.
Distributed control of generation in a transmission grid with a high penetration of renewables
Linearly solvable Markov games
A Unifying Framework for Linearly Solvable Control
A nullspace analysis of the nuclear norm heuristic for rank minimization
Inverse optimal control with linearly-solvable MDPs
New Closed-Form Bounds on the Partition Function