Strategy Selection for Software Verification Based on Boolean Features

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_11 ◽

2018 ◽

pp. 144-159 ◽

Cited By ~ 5

Author(s):

Dirk Beyer ◽

Matthias Dangl

Keyword(s):

Software Verification ◽

Strategy Selection ◽

Selection For

Download Full-text

Using game theory to describe strategy selection for environmental risk and carbon emissions reduction in the green supply chain

Journal of Loss Prevention in the Process Industries ◽

10.1016/j.jlp.2012.05.004 ◽

2012 ◽

Vol 25 (6) ◽

pp. 927-936 ◽

Cited By ~ 94

Author(s):

Rui Zhao ◽

Gareth Neighbour ◽

Jiaojie Han ◽

Michael McGuire ◽

Pauline Deutz

Keyword(s):

Game Theory ◽

Supply Chain ◽

Environmental Risk ◽

Carbon Emissions ◽

Green Supply Chain ◽

Emissions Reduction ◽

Strategy Selection ◽

Carbon Emissions Reduction ◽

Selection For

Download Full-text

Hypothesis Testing: Strategy Selection for Generalising versus Limiting Hypotheses

Thinking & Reasoning ◽

10.1080/135467899394084 ◽

1999 ◽

Vol 5 (1) ◽

pp. 67-92 ◽

Cited By ~ 11

Author(s):

Barbara A. Spellman

Keyword(s):

Hypothesis Testing ◽

Strategy Selection ◽

Testing Strategy ◽

Selection For

Download Full-text

NO-LESS: Near optimal curtailment strategy selection for net load balancing in micro grids

2018 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT) ◽

10.1109/isgt.2018.8403374 ◽

2018 ◽

Cited By ~ 1

Author(s):

Sanmukh R. Kuppannagari ◽

Rajgopal Kannan ◽

Viktor K. Prasanna

Keyword(s):

Load Balancing ◽

Strategy Selection ◽

Selection For ◽

Net Load ◽

Micro Grids

Download Full-text

Game-Theoretic Opportunistic Spectrum Sharing Strategy Selection for Cognitive MIMO Multiple Access Channels

IEEE Transactions on Signal Processing ◽

10.1109/tsp.2011.2121063 ◽

2011 ◽

Vol 59 (6) ◽

pp. 2745-2759 ◽

Cited By ~ 42

Author(s):

Wei Zhong ◽

Youyun Xu ◽

Huaglory Tianfield

Keyword(s):

Spectrum Sharing ◽

Multiple Access ◽

Strategy Selection ◽

Multiple Access Channels ◽

Sharing Strategy ◽

Game Theoretic ◽

Selection For ◽

Opportunistic Spectrum Sharing

Download Full-text

Evolutionary Game Based Strategy Selection for Hybrid V2V Communications

IEEE Transactions on Vehicular Technology ◽

10.1109/tvt.2021.3132025 ◽

2021 ◽

pp. 1-1

Author(s):

Yang Ming ◽

Jiaxuan Chen ◽

Yuhan Dong ◽

Zhaocheng Wang

Keyword(s):

Evolutionary Game ◽

Strategy Selection ◽

Selection For ◽

V2v Communications

Download Full-text

Optimal Price Strategy Selection for MVNOs in Spectrum Sharing: An Evolutionary Game Approach

KSII Transactions on Internet and Information Systems ◽

10.3837/tiis.2012.12.006 ◽

2012 ◽

Cited By ~ 1

Author(s):

Shasha Zhao

Keyword(s):

Spectrum Sharing ◽

Evolutionary Game ◽

Price Strategy ◽

Strategy Selection ◽

Optimal Price ◽

Selection For

Download Full-text

Pavement Rehabilitation Strategy Selection for Steel Suspension Bridges Based on Probabilistic Life-Cycle Cost Analysis

Journal of Performance of Constructed Facilities ◽

10.1061/(asce)cf.1943-5509.0000198 ◽

2012 ◽

Vol 26 (1) ◽

pp. 76-83 ◽

Cited By ~ 9

Author(s):

Tong Guo ◽

Tie Liu ◽

Ai-qun Li

Keyword(s):

Life Cycle ◽

Cost Analysis ◽

Life Cycle Cost ◽

Suspension Bridges ◽

Life Cycle Cost Analysis ◽

Strategy Selection ◽

Pavement Rehabilitation ◽

Selection For ◽

Rehabilitation Strategy

Download Full-text

Test strategy selection for multi-chip systems

Proceedings of 3rd International Workshop on the Economics of Design, Test and Manufacturing ◽

10.1109/icedtm.1994.496097 ◽

2002 ◽

Author(s):

M. FARES ◽

B. KAMINSKA

Keyword(s):

Strategy Selection ◽

Test Strategy ◽

Selection For

Download Full-text

The Charging Strategy Selection for Variable-Frequency Electric Drive with Supercapacitors

2019 1st International Conference on Control Systems, Mathematical Modelling, Automation and Energy Efficiency (SUMMA) ◽

10.1109/summa48161.2019.8947575 ◽

2019 ◽

Author(s):

Vladimir Polyakov ◽

Iurii Plotnikov ◽

Nikita Postnikov

Keyword(s):

Electric Drive ◽

Variable Frequency ◽

Strategy Selection ◽

Selection For ◽

Charging Strategy

Download Full-text

Query simplification and strategy selection for image retrieval

Proceedings 15th International Conference on Pattern Recognition. ICPR-2000 ◽

10.1109/icpr.2000.902913 ◽

2002 ◽

Author(s):

R. Brunelli ◽

O. Mich

Keyword(s):

Image Retrieval ◽

Strategy Selection ◽

Selection For

Download Full-text