Skip to content

A First-Order Branching Time Logic of Multi-Agent System.

Michael J. Wooldridge, Michael Fisher

VenueAECAI
Year1992
ProceedingsECAI

Browse the full ECAI paper archive.