Found 3 Software Packages (Results 1–3)


Software Authors:   Ross, S.; Pineau, J.; Paquet, S.; Chaib-Draa, B.
Referenced in: 38 Publications (1998–2022)
Related Software: DESPOT; EGO; PRMLT; Clingo; Anglican; ProbLog; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)


Software Authors:   Cassandra, Anthony R.
Referenced in: 24 Publications (2001–2021)
Related Software: PRISM; Storm; Jani; z3; Reluplex; Adam; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)


Software Authors:   Egorov, Maxim; Sunberg, Zachary N.; Balaban, Edward; Wheeler, Tim A.; Gupta, Jayesh K.; Kochenderfer, Mykel J.
Referenced in: 2 Publications (2020–2022)
Related Software: Julia; GitHub; HeteroCL; TVM; Python; OptimizedDP; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)