3 search results - page 1 / 1 » Compositional verification and 3-valued abstractions join fo... |
74
Voted
IANDC
2010
14 years 8 months ago
2010
116
click to vote
SIGSOFT
2003
ACM
16 years 1 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
ICRA
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— A number of conceptually simple but behaviorrich “inverted pendulum” humanoid models have greatly enhanced the understanding and analytical insight of humanoid dyna...