-
Chapter and Conference Paper
Correction to: NASA Formal Methods
The original versions of this book and Chapter 14 were revised. The following was corrected:
-
Chapter
Adaptive Stress Testing of Safety-Critical Systems
Stress testing in simulation plays a critical role in the validation of safety-critical systems, including aircraft, cars, medical devices, and spacecraft. The analysis of failure events is important in unders...
-
Chapter
Counter-Factual Reinforcement Learning: How to Model Decision-Makers That Anticipate the Future
This chapter introduces a novel framework for modeling interacting humans in a multi-stage game. This ”iterated semi network-form game” framework has the following desirable characteristics: (1) Bounded ration...
-
Chapter
Game Theoretic Modeling of Pilot Behavior during Mid-Air Encounters
We show how to combine Bayes nets and game theory to predict the behavior of hybrid systems involving both humans and automated components. We call this novel framework “Semi Network-Form Games”, and illustrat...