Verma, Abhinav
- Strong NP-hardness of AC power flows feasibility
2015/12/23 by Bienstock, Daniel, Verma, Abhinav · 9 citations
#FOS: Mathematics #Optimization and Control (math.OC)
- The N-K Problem in Power Grids: New Models, Formulations and Numerical Experiments (extended version)
2009/12/29 by Bienstock, Daniel, Verma, Abhinav · 3 citations
#90-08 #FOS: Mathematics #Optimization and Control (math.OC)
- Eventual Discounting Temporal Logic Counterfactual Experience Replay
2023/03/03 by Cameron Voloshin, Voloshin, Cameron, Abhinav Verma +3 · 5 citations
Computer Science · #Explainable Artificial Intelligence (XAI)
- Neurosymbolic Reinforcement Learning with Formally Verified Exploration
2020/09/26 by Greg Anderson, Anderson, Greg, Abhinav Verma +5 · 4 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Reinforcement Learning in Robotics #Robot Manipulation and Learning
- LTL-Constrained Policy Optimization with Cycle Experience Replay
2024/04/17 by Ameesh Shah, Cameron Voloshin, Shah, Ameesh +9 · 7 citations
Computer Science · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #Error Correcting Code Techniques #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #I.2.4 #I.2.6 #Machine Learning (cs.LG)
- Control Regularization for Reduced Variance Reinforcement Learning
2019/05/14 by Cheng, Richard, Verma, Abhinav, Orosz, Gabor +3 · 3 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
2023/12/03 by Žikelić, Đorđe, Lechner, Mathias, Verma, Abhinav +2 · 3 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Representing Formal Languages: A Comparison Between Finite Automata and\n Recurrent Neural Networks
2019/02/26 by Joshua Michalenko, Michalenko, Joshua J., Ameesh Shah +9 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Natural Language Processing Techniques #Neural Networks and Applications
- Learning Differentiable Programs with Admissible Neural Heuristics
2020/07/23 by Shah, Ameesh, Zhan, Eric, Sun, Jennifer J. +3 · 1 citation
#Artificial Intelligence (cs.AI) #D.3.2 #FOS: Computer and information sciences #I.2.6 #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL)