Bernard Serbinowski

According to our database, Bernard Serbinowski authored at least 4 papers between 2018 and 2023.

Collaborative distances:

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

2023

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

Dataset, July, 2023

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