2502 search results - page 5 / 501 » Using probabilistic model checking in systems biology |
122
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
88
Voted
ISMB
2000
15 years 4 months ago
2000
159
click to vote
VMCAI
2010
Springer
16 years 20 days ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
136
click to vote
ENTCS
2006
15 years 3 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
141
click to vote
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...