LTLMoP Software Authors: Cameron Finucane; Gangyuan Jing; Hadas Kress-Gazit Cited in: 4 Publications (2017–2020) Related Software: TuLiP; PESSOA; ModelPlex; C-CoRN; Coq; pypoman; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
BWIBots Software Authors: Khandelwal,S. Zhang,J. Sinapov, M. Leonetti, J. Thomason, F. Yang, I. Gori,M. Svetlik, P. Khante, V. Lifschitz, J. Aggarwal, R. Mooney, P. Stone Cited in: 1 Publication (2019) Related Software: PEORL; PDDL; Clingcon; ALM Main Fields: Computer science (68-XX)
Robota Software Authors: Billard, Aude Cited in: 2 Publications (2003) Related Software: – Main Fields: Computer science (68-XX)
FAtiMA Software Authors: Samuel Mascarenhas, Manuel Guimarães, Pedro A. Santos, João Dias, Rui Prada, Ana Paiva Cited in: 0 Publications Related Software: – Main Fields: –
Marimba Software Authors: Hernández, Noé; Eder, Kerstin; Magid, Evgeni; Savage, Jesús; Rosenblueth, David A. Cited in: 1 Publication (2015) Related Software: z3; linearEqSolver; Haskell; PRISM Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
OpenPHRI Software Authors: B. Navarro; A. Fonte; P. Fraisse; G. Poisson; A. Cherubini Cited in: 0 Publications Related Software: ChaLearn; SaDNet Main Fields: –