共 50 条
- [12] Abstraction and multiple abstraction in the symbolic modeling of the environment of mobile robots ABSTRACTION, REFORMULATION AND APPROXIMATION, PROCEEDINGS, 2005, 3607 : 358 - 359
- [14] Automatic abstraction in symbolic trajectory evaluation FMCAD 2007: FORMAL METHODS IN COMPUTER AIDED DESIGN, PROCEEDINGS, 2007, : 127 - +
- [15] Symbolic Counter Abstraction for Concurrent Software COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 64 - 78
- [16] Eager Abstraction for Symbolic Model Checking COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 191 - 208
- [19] Symbolic algebra and celestial mechanics DYNAMICS, EPHEMERIDES AND ASTROMETRY OF THE SOLAR SYSTEM, 1996, (172): : 267 - 282
- [20] An Abstraction Method of Behaviors for Process Algebra 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW), 2013, : 133 - 138