Bernard Serbinowski

According to our database, Bernard Serbinowski authored at least 3 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees.

Bernard Serbinowski, Taylor T. Johnson

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

2020

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

2018

Probabilistic Logic for Intelligent Systems.

Thomas C. Henderson, Robert Simmons, Bernard Serbinowski, Xiuyi Fan, Amar Mitiche, Michael Cline

Proceedings of the Intelligent Autonomous Systems 15, 2018