Bernard Serbinowski

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 4

Top Topics

Probabilistic Logic

Satisfiability Problem

Intelligent Systems

Top Venues

Publications

Bernard Serbinowski, Taylor T. Johnson
BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. CoRR (2022)
Bernard Serbinowski, Taylor T. Johnson
BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. SEFM (2022)
Thomas C. Henderson, Robert Simmons, Bernard Serbinowski, Michael Cline, David Sacharny, Xiuyi Fan, Amar Mitiche
Probabilistic sentence satisfiability: An approach to PSAT. Artif. Intell. 278 (2020)
Thomas C. Henderson, Robert Simmons, Bernard Serbinowski, Xiuyi Fan, Amar Mitiche, Michael Cline
Probabilistic Logic for Intelligent Systems. IAS (2018)