Difference between revisions of "User Guide"

From BP Wiki
Jump to: navigation, search
Line 12: Line 12:
 
*[http://www.wisdom.weizmann.ac.il/~amarron/FuzzIeee12.pdf Using BPJ for hybrid fuzzy control with BFUZ].
 
*[http://www.wisdom.weizmann.ac.il/~amarron/FuzzIeee12.pdf Using BPJ for hybrid fuzzy control with BFUZ].
 
*[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]]
 
*[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]]
 +
*[[Learning | Adaptive Behavioral Programs]]

Revision as of 20:38, 27 April 2014

BPJ User Guide

Advanced Topics