NNV Cited in 5 Documents (2021–2022) Software Authors: Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson Related Software: Reluplex; VERIFAI; Marabou; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Systems theory; control (93-XX)
CLUE Cited in 3 Documents (2021–2022) Software Authors: Alexey Ovchinnikov, Isabel Cristina Pérez Verona, Gleb Pogudin, Mirco Tribastone Related Software: ERODE; Groebner.jl; gmp; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
BaRC Cited in 2 Documents (2020–2021) Software Authors: Boris Ivanovic, James Harrison, Apoorva Sharma, Mo Chen, Marco Pavone Related Software: ToolboxLS; helperOC; PILCO; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
PowerDynamics.jl Cited in 1 Document (2021) Software Authors: Anton Plietzsch, Raphael Kogler, Sabine Auer, Julia Merino, Asier Gil-de-Muro, Jan Liße, Christina Vogel, Frank Hellmann Related Software: Julia; JiTCODE; StochasticDelayDiffEq.jl; … Main Fields: Dynamical systems and ergodic theory (37-XX)
LITS.jl Cited in 0 Documents Software Authors: Rodrigo Henriquez-Auba, Jose D. Lara, Ciaran Roberts, Nathan Pallo, Duncan S. Callaway Related Software: SUNDIALS; Julia; PowerSystems.jl; … Main Fields: –
PyIT2FLS Cited in 0 Documents Software Authors: Amir Arslan Haghrah, Sehraneh Ghaemi Related Software: Xfuzzy; FuzzyLogic.jl; FuzzyJ; … Main Fields: –
ADPT Cited in 0 Documents Software Authors: Xiaowei Xing, Dong Eui Chang Related Software: Control Toolbox; Nonlinear Systems Toolbox; GPOPS; … Main Fields: –
DaDRA Cited in 0 Documents Software Authors: Jared Mejia, Alex Devonport, Murat Arcak Related Software: Ariadne; Isabelle/HOL; NLTOOLBOX; … Main Fields: –
HyperTensioN Cited in 0 Documents Software Authors: Maurício Cecílio Magnaguagno, Felipe Meneguzzi, Lavindra de Silva Related Software: SHOP2; Graphviz; Ruby Main Fields: –
LPVcore Cited in 0 Documents Software Authors: P. den Boef, P. B. Cox, R. Tóth Related Software: LPVTools; Matlab Main Fields: –
OptimizedDP Cited in 0 Documents Software Authors: Minh Bui, George Giovanis, Mo Chen, Arrvindh Shriraman Related Software: HeteroCL; POMDPs.jl; TVM; … Main Fields: –
PoCET Cited in 0 Documents Software Authors: Felix Petzke, Ali Mesbah, Stefan Streif Related Software: Symbolic Math Toolbox; UQLab; Matlab Main Fields: –
PolyChaos Cited in 0 Documents Software Authors: Tillmann Mühlpfordt, Frederik Zahn, Veit Hagenmeyer, Timm Faulwasser Related Software: DifferentialEquations.jl; UQLab; Chaospy; … Main Fields: –
PyKoopman Cited in 0 Documents Software Authors: Shaowu Pan, Eurika Kaiser, Brian M. de Silva, J. Nathan Kutz, Steven L. Brunton Related Software: mpEDMD; pykoop; KoopmanLab; … Main Fields: –
RobustNeuralNetworks.jl Cited in 0 Documents Software Authors: Nicholas H. Barbara, Max Revay, Ruigang Wang, Jing Cheng, Ian R. Manchester Related Software: ReinforcementLearning.jl; MNIST; Adam; … Main Fields: –
Torrit Cited in 0 Documents Software Authors: Md Ashfaqur Rahman Related Software: ETAP Digital Twin; DIgSILENT; EasyPower; … Main Fields: –