2502 search results - page 72 / 501 » Using probabilistic model checking in systems biology |
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
CHARME
2001
Springer
14 years 23 days ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
VMCAI
2004
Springer
14 years 2 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
IAT
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--The paper proposes a biologically-inspired cognitive agent model, known as FALCON-X, based on an integration of the Adaptive Control of Thought (ACT-R) architecture and a...
IJSEKE
2011
13 years 16 days ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...