×

Found 5 Software Packages (Results 1–5)

RRE

Software Authors:   Zonouz, S.; Khurana, H.; Sanders, W.; Yardley, T.
Cited in: 8 Publications (2014–2020)
Related Software: Gurobi; pytbull; Polygraph; Hamsa; Snort; ADEPTS; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Alpaga

Software Authors:   Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A.
Cited in: 5 Publications (2010–2018)
Related Software: PRISM; Acacia+; POMDP; MCMAS-SLK; Mr. Waffles; CTLSAT; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ACPC

Software Authors:   Dustin Morrill
Cited in: 1 Publication (2019)
Related Software: DeepStack; Pluribus; Libratus; Torch
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ChessY

Software Authors:   Michelle Rudolph-Lilith
Cited in: 0 Publications
Related Software: Mathematica
Main Fields:

StressGAN

Software Authors:   Haoliang Jiang, Zhenguo Nie, Roselyn Yeo, Amir Barati Farimani, Levent Burak Kara
Cited in: 1 Publication (2022)
Related Software: MAP123-EPF; MAP123-EP; SESR; SimNet; EGO
Main Fields: Mechanics of deformable solids (74-XX)