3765 search results - page 41 / 753 » Qualitative Action Systems |
ENTCS
2007
13 years 8 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
2. THE MASM ALGORITHM An input to the MASM algorithm is a time-annotated multi-agent action sequence. The action sequence is then transformed into an action graph. An action graph ...
AEI
1999
13 years 8 months ago
1999
Many computer simulations, experimental testing and monitoring of physical systems produce vast amounts of quantitative data. These data have always been assimilated by trained an...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
ENGL
2007
13 years 8 months ago
2007
Realize the operating conditions of a manufacturing plant are essential for providing corresponding actions responsively. This is because all processes are interrelated and a smal...