Passer au contenu principal
Publication

Formalizing Institutions as Executable Petri Nets for Distributed Robotic Systems