What is the abbreviation for Behavior logic interactive synthesis?

Looking for the shorthand of Behavior logic interactive synthesis or how to abbreviate it? We have 2 shorthands for Behavior logic interactive synthesis.