4962 search results - page 33 / 993 » Stochastic Model Checking |
IJON
2006
13 years 7 months ago
2006
We model the intrinsic dynamic behavior of a neuron using stochastic differential equations and Brownian motion. Basis of our work is the deterministic one-compartmental multi-con...
IJCAI
2003
13 years 9 months ago
2003
To model combinatorial decision problems involving uncertainty and probability, we extend the stochastic constraint programming framework proposed in [Walsh, 2002] along a number ...
JCST
2010
13 years 2 months ago
2010
Abstract We define a notion of context that represents invariant, stable-over-time behavior in an environment and we propose an algorithm for detecting context changes in a stream ...
DLOG
2006
13 years 9 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
ENTCS
2007
13 years 7 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...