Department of Computer, Control and Management Engineering

Behavior composition problem is particularly relevant for multi-agent systems and aims at building a complex target behavior using several agent behaviors. In this work, we develop a framework that models the agent behaviors in stochastic settings both when the target is represented as a Finite State Machine and when it is represented as an LTLf formula.