![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Reluplex: a calculus for reasoning about deep neural networks
Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems. However, a major obstacle in applying them to safety-critical systems is the great difficulty i...
-
Article
Dynamic multi-robot task allocation under uncertainty and temporal constraints
We consider the problem of dynamically allocating tasks to multiple agents under time window constraints and task completion uncertainty. Our objective is to minimize the number of unsuccessful tasks at the en...
-
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...
-
Article
Aircraft Collision Avoidance Using Monte Carlo Real-Time Belief Space Search
The aircraft collision avoidance problem can be formulated using a decision-theoretic planning framework where the optimal behavior requires balancing the competing objectives of avoiding collision and adherin...