search

forester-bt / forester

unleash the power of behavior trees!
https://forester-bt.github.io/forester/
Apache License 2.0
35 stars 5 forks source link

Temporal Logic Converter? #35

Open besok opened 1 year ago

besok commented 1 year ago

Verifying Temporal Logic Specifications for Behavior Trees

Possibility to validate and verify the BT using Temporal specification.

besok commented 1 year ago

Extra links https://en.wikipedia.org/wiki/Model_checking

Symbolic Model Verifier.

besok commented 1 year ago

https://arxiv.org/pdf/2307.06399.pdf