1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.RO2022★ 1 cited
BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
Serena S. Serbinowska, Taylor T. Johnson
Behavior Trees, which originated in video games as a method for controlling NPCs but have since gained traction within the robotics community, are a framework for describing the ex…
math.AC2018★ 1 cited
Seminormalization package for Macaulay2
Karl Schwede, Bernard Serbinowski
This note describes a package for computing seminormalization of rings within Macaulay2.