Component Verification with Automatically Generated Assumptions
- 作者Dimitra Giannakopoulou; Corina S. Păsăreanu; Howard Barringer
- 卷第12卷
- 期第3期
- 印刷ISSN0928-8910
- 电子ISSN1573-7535
- 文件大小1512.91KB
- 发表时间2005-07
- DOI10.1007/s10515-005-2641-y
- 页码297-320
同作者推荐
[IEEE 2007 IEEE International Symposium on Approximate Dynamic Programming and Reinforcement Learning - Honolulu, HI, USA (2007.04.1-2007.04.5)] 2007 IEEE International Symposium on Approximate Dynamic Programming and Reinforcement Learning - Knowledge Transfer Using Local FeaturesStolle, Martin; Atkeson, Christopher G. · 2007
[IEEE 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems - San Diego, CA, USA (2007.10.29-2007.11.2)] 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems - Transfer of policies based on trajectory librariesStolle, Martin; Tappeiner, Hanns; Chestnutt, Joel; Atkeson, Christopher G. · 2007