Modal Specifications for Composition of Agent Behaviors.

Hikmat Farhat, Guillaume Feuillade

Browse the full ICAART paper archive.