An Extended Occam Model for Timed Parallel Systems: Application to Environmental Robot Programming.

Traian Muntean, Michel Riveill

Browse the full IAS paper archive.