444 search results - page 38 / 89 » Sensitive state-space exploration |
103
click to vote
ICCV
2001
IEEE
16 years 1 months ago
2001
IEEE
Particle filters are used for hidden state estimation with nonlinear dynamical systems. The inference of 3-d human motion is a natural application, given the nonlinear dynamics of...
103
click to vote
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by in...
ICST
2009
IEEE
15 years 6 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
IFM
2009
Springer
15 years 6 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...