A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic
Year: 2020
Type: article
Authors: Oliver Biggar, Mohammad Zamani
Institution: Defence Science and Technology Group
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W3004224011