Tag/release for artifacts corresponding to papers on BehaVerify results appearing at the 6th International Workshop on Formal Methods for Autonomous Systems (FMAS'24), with corresponding artifacts in subfolders
Serena Serbinowska, Preston Robinette, Gabor Karsai and Taylor T Johnson, "Formalizing Stateful Behavior Trees", 6th International Workshop on Formal Methods for Autonomous Systems (FMAS'24), November 2024
Serena Serbinowska, Nicholas Potteiger, Anne Tumlin and Taylor T Johnson, "Verification of Behavior Trees with Contingency Monitors", 6th International Workshop on Formal Methods for Autonomous Systems (FMAS'24), November 2024