issues
search
rayomaz
/
BarrierBellman
Constructing a piecewise barrier
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Create DockerImage
#98
rayomaz
opened
13 hours ago
0
Create AdditiveGaussianPolySystem
#97
rayomaz
opened
13 hours ago
0
load_dynamics() needs debug
#96
rayomaz
opened
1 day ago
1
HSCC
#95
rayomaz
closed
13 hours ago
1
Fix various regressions
#94
Zinoex
closed
3 days ago
0
AdditiveGaussianLinearSystem for Probability Bounds
#93
rayomaz
closed
3 days ago
1
Add proper readme
#92
rayomaz
opened
2 months ago
0
Licensing
#91
Zinoex
closed
2 months ago
0
Quadratic encoding in SOS
#90
Zinoex
closed
2 months ago
0
Copyright stuff
#89
rayomaz
closed
2 months ago
0
Add timing to result structs
#88
Zinoex
closed
2 months ago
0
Move IO and plotting into separate submodules
#87
Zinoex
closed
2 months ago
0
Set up test suite and refactor dependencies
#86
Zinoex
closed
2 months ago
0
Set up documentation build system
#85
Zinoex
closed
2 months ago
0
Setup continuous integration
#84
Zinoex
opened
2 months ago
0
`synthesize_barrier` to also calculate transition probabilities for non-IMC systems
#83
Zinoex
opened
2 months ago
0
Timing in result structs
#82
Zinoex
closed
2 months ago
0
1st refactor
#81
Zinoex
closed
2 months ago
0
Issue YAXArrays with NetCDF
#80
rayomaz
closed
3 months ago
2
Cartpole + off-the-shelf Frank-Wolfe
#79
Zinoex
closed
1 year ago
0
Update configs files
#78
rayomaz
closed
1 year ago
0
First commit on changing bound_transition_prob for multi-control setting
#77
rayomaz
closed
1 year ago
0
Multi-control transition prob computation framework in main.py
#76
rayomaz
closed
2 months ago
1
Adjust nndm/linear .json files for new framework
#75
rayomaz
closed
1 year ago
2
Stochastic gradient descent
#74
Zinoex
closed
1 year ago
0
Add projected gradient
#73
Zinoex
closed
1 year ago
0
Frank-Wolfe-based algorithm for computing transition probability
#72
Zinoex
closed
1 year ago
0
Update unicycle
#71
rayomaz
closed
1 year ago
1
Projected gradients
#70
Zinoex
closed
1 year ago
0
Cartpole system
#69
Zinoex
closed
2 months ago
2
Stochastic gradient for _SPEED_
#68
Zinoex
closed
1 year ago
0
Parallelization & numerical stability
#67
Zinoex
closed
1 year ago
0
Zinoex/harrier
#66
Zinoex
closed
1 year ago
0
O maximization approach
#65
rayomaz
closed
3 months ago
1
Use Lp-norm/tempered LogSumExp as loss for gradient descent
#64
Zinoex
closed
1 year ago
0
Unicycle benchmark
#63
rayomaz
closed
1 year ago
0
Switch to Nesterov momentum
#62
Zinoex
closed
1 year ago
0
Paper benchmark 1
#61
rayomaz
closed
1 year ago
0
Move probability consistency computation
#60
Zinoex
closed
1 year ago
0
Wrap GramMatrix from SOS in MP.polynomial to extract polynomial
#59
Zinoex
closed
1 year ago
0
SOS polynomial (barrier)
#58
Zinoex
closed
1 year ago
0
Benchmark example: single mode
#57
rayomaz
closed
1 year ago
0
Correct file names
#56
rayomaz
closed
2 months ago
3
Merge system files
#55
rayomaz
opened
1 year ago
0
Method for AdditiveGaussianLinearSystem for SOS
#54
rayomaz
closed
1 year ago
1
Reduce stress on compiler for computing transition probabilities
#53
Zinoex
closed
1 year ago
0
Sparse matrix
#52
Zinoex
closed
1 year ago
1
Unicycle system
#51
Zinoex
closed
2 months ago
1
Harrier system
#50
Zinoex
closed
2 months ago
0
Fix bugs and generalize sum of squares implementation
#49
Zinoex
closed
1 year ago
0
Next