共 50 条
- [34] Donut Domains: Efficient Non-convex Domains for Abstract Interpretation VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 235 - 250
- [35] Using non-convex approximations for efficient analysis of timed automata IARCS ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2011), 2011, 13 : 78 - 89
- [36] Coverage Control in Non-Convex Environment Considering Unknown Non-Convex Obstacles 2014 SECOND RSI/ISM INTERNATIONAL CONFERENCE ON ROBOTICS AND MECHATRONICS (ICROM), 2014, : 119 - 124
- [37] Big and beautiful? On non-parametrically measuring scale economies in non-convex technologies Journal of Productivity Analysis, 2011, 35 : 213 - 226