Decision Making Under Uncertainty: Theory and Application

2015

308 citations recorded by the source corpus.

Subfields: Management Science and Operations Research

Citations in the corpus

• Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks (2017, neutral): “Recent work has focused on creating a new system, known as Airborne Collision Avoidance System X ( ACAS X ) [17, 18].”
• A framework for quantifying the value of vibration-based structural health monitoring (2022, unknown): “The optimization of inspection and maintenance plans forms a stochastic sequential decision problem [33, 34], the solution of which requires large computational efforts [11, 35].”