An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language.

Michael A. Medina, Joseph E. Urban

Browse the full ISADS paper archive.