LIVEJoin the current RTAI Connect sessionJoin now

ResearchTrend.AI
Soy: An Efficient MILP Solver for Piecewise-Affine Systems

Soy: An Efficient MILP Solver for Piecewise-Affine Systems

Haoze Wu
Min Wu
Dorsa Sadigh
Clark W. Barrett
ArXivPDFHTML

Papers citing "Soy: An Efficient MILP Solver for Piecewise-Affine Systems"

3 / 3 papers shown
Title
Efficient Neural Network Analysis with Sum-of-Infeasibilities
Efficient Neural Network Analysis with Sum-of-Infeasibilities
Haoze Wu
Aleksandar Zeljić
Guy Katz
Clark W. Barrett
AAML
86
31
0
19 Mar 2022
Simultaneous Contact, Gait and Motion Planning for Robust Multi-Legged Locomotion via Mixed-Integer Convex Optimization
Simultaneous Contact, Gait and Motion Planning for Robust Multi-Legged Locomotion via Mixed-Integer Convex Optimization
Bernardo Aceituno-Cabezas
Carlos Mastalli
Hongkai Dai
Michele Focchi
A. Radulescu
Darwin G. Caldwell
J. Cappelletto
J. Grieco
Gerardo Fernández-López
Claudio Semini
76
151
0
09 Apr 2019
MCMC using Hamiltonian dynamics
MCMC using Hamiltonian dynamics
Radford M. Neal
292
3,279
0
09 Jun 2012

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.