FACS 2024

Speaker

Simon Bliudze

INRIA, France

Talks at this conference:
 Tue, 16:20 Formal modeling and verification of behavior trees using BIP framework

 Overview