Serbinowska, S. S., & Johnson, T. T. (2022). BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees.
Cita Chicago Style (17a ed.)Serbinowska, Serena S., y Taylor T. Johnson. BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. 2022.
Cita MLA (9a ed.)Serbinowska, Serena S., y Taylor T. Johnson. BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. 2022.
Precaución: Estas citas no son 100% exactas.