Superposition and fairness in reactive system refinement.

Ralph-Johan Back Reino Kurki-Suonio

Published in: Jerusalem Conference on Information Technology (1990)

Keyphrases

resource allocation
game theory
database
real time
case study
theorem proving
agent architecture
neural network
image processing
image segmentation
multi agent
relational databases
refinement process
reactive planning
subsumption architecture