×

Found 9 Software Packages (Results 1–9)

ToolboxLS

Software Authors:   Ian Mitchell
Cited in: 54 Publications (2005–2022)
Related Software: top.m; Ellipsoidal Toolbox; Multivac; helperOC; ROC-HJ; MPT; …
Main Fields:

R-MAX

Software Authors:   Brafman, Ronen I.; Tennenholtz, Moshe
Cited in: 32 Publications (2002–2016)
Related Software: AWESOME; AdaBoost.MH; PRMLT; ElemStatLearn; POMDPS; GAMUT
Main Fields: (68T05-XX)

PRISM-games

Software Authors:   Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
Cited in: 23 Publications (2013–2022)
Related Software: PRISM; MCMAS; GIST; EAGLE; GAVS; MCMAS-SLK; …
Main Fields: (68Q60-XX)

BRMaximin

Software Authors:   Caballero, William N.; Lunday, Brian J.; Uber, Richard P.
Cited in: 4 Publications (2021–2022)
Related Software: DiffSharp; EasyMKL; SpicyMKL; SimpleMKL; LIBSVM; ROME; …
Main Fields: (90B-XX)

POGTGolog

Software Authors:   Finzi, Alberto; Lukasiewicz, Thomas
Cited in: 2 Publications (2020–2021)
Related Software: GTGolog; Gambit; GOLOG
Main Fields: (68T37-XX)

GTGolog

Software Authors:   Finzi, A.; Lukasiewicz, T.
Cited in: 1 Publication (2020)
Related Software: POGTGolog; Gambit; GOLOG
Main Fields:

EAQR

Software Authors:   Zhang, Zhen; Wang, Dongqing
Cited in: 1 Publication (2018)
Related Software:
Main Fields: (68T05-XX); (68T42-XX)

IQC-Game

Software Authors:   Zhang, Guodong; Bao, Xuchan; Lessard, Laurent; Grosse, Roger
Cited in: 1 Publication (2021)
Related Software: AlexNet; Wasserstein GAN; SBEED; GitHub; ImageNet; PESTO; …
Main Fields: (68T05-XX)

ORL

Software Authors:   Bharathan Balaji, Jordan Bell-Masterson, Enes Bilgin, Andreas Damianou, Pablo Moreno Garcia, Arpit Jain, Runfei Luo, Alvaro Maggiar, Balakrishnan Narayanaswamy, Chun Ye
Cited in: 0 Publications
Related Software: BARON; Ray; Pyomo; OpenAI Gym; OR-Gym; Gurobi
Main Fields: