Probabilistic Logic for Intelligent Systems. - Thomas C. Henderson; Robert Simmons; Bernard Serbinowski; Xiuyi Fan; Amar Mitiche; Michael Cline (IAS, 2018)

Probabilistic sentence satisfiability: An approach to PSAT. - Thomas C. Henderson; Robert Simmons; Bernard Serbinowski; Michael Cline; David Sacharny; Xiuyi Fan; Amar Mitiche (Artif. Intell., 2020)

BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. - Bernard Serbinowski; Taylor T. Johnson (SEFM, 2022)

2023 SEFM Artifact for BehaVerify (A Domain Specific Language (DSL) for Behavior Tree Verification and Implementation). - Bernard Serbinowski; Dániel Stojcsics; Nagabhushan Mahadevan; Gabor Karsai; Taylor T. Johnson (Zenodo, 2023)