3 search results - page 1 / 1 » Compositional verification and 3-valued abstractions join fo... |
IANDC
2010
13 years 1 months ago
2010
14
Voted
SIGSOFT
2003
ACM
14 years 5 months 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
13 years 11 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...