2502 search results - page 104 / 501 » Using probabilistic model checking in systems biology |
146
Voted
MEMOCODE
2003
IEEE
15 years 9 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...
131
Voted
ICRA
2000
IEEE
15 years 8 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...
122
Voted
ICRA
1998
IEEE
15 years 8 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...
135
Voted
ISSTA
2004
ACM
15 years 9 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...
134
Voted
FM
2006
Springer
15 years 7 months 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...