220 search results - page 18 / 44 » Logic-Based Agent Verification |
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...
FORMATS
2008
Springer
13 years 11 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
ATAL
2008
Springer
13 years 12 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
ICALP
2000
Springer
14 years 1 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
ASC
2007
14 years 8 months ago
2007
Credit risk has always been an important issue for banks
and other financial intermediaries. A reliable and consistent
computing system is necessary to simplify the decision
mak...