2502 search results - page 104 / 501 » Using probabilistic model checking in systems biology |
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
ICRA
2000
IEEE
14 years 1 months ago
2000
IEEE
We are trying to induce a quadruped robot to walk dynamically on irregular terrain by using a neural system model. In this paper, we integrate several reflexes such as stretch ref...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper describes the new localisation algorithms under implementation for the mail distributing mobile robot, MOPS, of the Institute of Robotics, Swiss Federal Institute of Te...
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
FM
2006
Springer
14 years 26 days ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...