Behavior Trees as executable representation of Milner Calculus notations

Torsten Spieldenner, André Antakli. Behavior Trees as executable representation of Milner Calculus notations. In IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2022, Niagara Falls, ON, Canada, November 17-20, 2022. pages 183-190, IEEE, 2022. [doi]

Abstract

Abstract is missing.