Optimal verification strategy for general development plans using a belief-based approach

Aditya U. Kulkarni, Ashley Girod, Peng Xu, Alejandro Salado

Research output: Contribution to journalArticlepeer-review


Verification activities are intended to reduce the costs of system development by identifying design errors before deploying the system. However, subcontractors in multi-firm projects are motivated to implement locally cost-effective verification strategies over verification strategies that benefit the main contractor. Incentivizing verification activities is one mechanism by which the contractor can motivate subcontractors to implement verification strategies desirable to the contractor. In this paper, we present a belief-based modeling concept for determining optimal verification strategies for general development plans. The results show that the optimal incentives are a function of the subordinate firm's beliefs and the influence exerted by the subordinate firm on the supervising firm with respect to verification activities.

Original languageEnglish (US)
Pages (from-to)74-98
Number of pages25
JournalSystems Engineering
Issue number1
StatePublished - Jan 2024


  • belief distributions
  • incentives
  • multi-firm
  • verification

ASJC Scopus subject areas

  • Hardware and Architecture
  • Computer Networks and Communications


Dive into the research topics of 'Optimal verification strategy for general development plans using a belief-based approach'. Together they form a unique fingerprint.

Cite this