Superposition: composition vs refinement of non-deterministic, action-based systems.

Antónia Lopes José Luiz Fiadeiro

Published in: Formal Aspects Comput. (2004)

Keyphrases

expert systems
artificial neural networks
spatio temporal
management system
distributed systems
intelligent systems
computer systems
learning systems
complex systems
human actions
real time
information systems
decision making
mobile robot
computing systems