Situation Event Logic for Early Validation of Multi-Agent Systems.

Sehl Mellouli, Guy W. Mineau, Bernard Moulin

Browse the full AI paper archive.