NNV Software Authors: Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson Cited in: 5 Publications (2021–2022) Related Software: Reluplex; VERIFAI; Marabou; MPT; MNIST; NeuralCDE; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
BaRC Software Authors: Boris Ivanovic, James Harrison, Apoorva Sharma, Mo Chen, Marco Pavone Cited in: 2 Publications (2020–2021) Related Software: ToolboxLS; helperOC; PILCO; Python; PythonRobotics; OpenAI Gym; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
PowerDynamics.jl Software Authors: Anton Plietzsch, Raphael Kogler, Sabine Auer, Julia Merino, Asier Gil-de-Muro, Jan Liße, Christina Vogel, Frank Hellmann Cited in: 1 Publication (2021) Related Software: Julia; JiTCODE; StochasticDelayDiffEq.jl; StochasticDiffEq.jl; DifferentialEquations.jl; LightGraphs.jl; … Main Fields: Dynamical systems and ergodic theory (37-XX)
LITS.jl Software Authors: Rodrigo Henriquez-Auba, Jose D. Lara, Ciaran Roberts, Nathan Pallo, Duncan S. Callaway Cited in: 0 Publications Related Software: SUNDIALS; Julia; PowerSystems.jl; PowerSimulations.jl; Dome; DifferentialEquations.jl; … Main Fields: –
ADPT Software Authors: Xiaowei Xing, Dong Eui Chang Cited in: 0 Publications Related Software: Control Toolbox; Nonlinear Systems Toolbox; GPOPS; acados; ACADO; Matlab Main Fields: –
DaDRA Software Authors: Jared Mejia, Alex Devonport, Murat Arcak Cited in: 0 Publications Related Software: Ariadne; Isabelle/HOL; NLTOOLBOX; JuliaReach; Python Main Fields: –
HyperTensioN Software Authors: Maurício Cecílio Magnaguagno, Felipe Meneguzzi, Lavindra de Silva Cited in: 0 Publications Related Software: SHOP2; Graphviz; Ruby Main Fields: –
LPVcore Software Authors: P. den Boef, P. B. Cox, R. Tóth Cited in: 0 Publications Related Software: LPVTools; Matlab Main Fields: –
OptimizedDP Software Authors: Minh Bui, George Giovanis, Mo Chen, Arrvindh Shriraman Cited in: 0 Publications Related Software: HeteroCL; POMDPs.jl; TVM; Python Main Fields: –
PoCET Software Authors: Felix Petzke, Ali Mesbah, Stefan Streif Cited in: 0 Publications Related Software: Symbolic Math Toolbox; UQLab; Matlab Main Fields: –
PolyChaos Software Authors: Tillmann Mühlpfordt, Frederik Zahn, Veit Hagenmeyer, Timm Faulwasser Cited in: 0 Publications Related Software: DifferentialEquations.jl; UQLab; Chaospy; UQTk; Open TURNS; DAKOTA; … Main Fields: –
PyIT2FLS Software Authors: Amir Arslan Haghrah, Sehraneh Ghaemi Cited in: 0 Publications Related Software: Matplotlib; NumPy; Fuzzycreator; Juzzy; Python Main Fields: –
Torrit Software Authors: Md Ashfaqur Rahman Cited in: 0 Publications Related Software: ETAP Digital Twin; DIgSILENT; EasyPower; Dome; PyCharm; Pandapower; … Main Fields: –