Improving Trust Estimates in Planning Domains with Rare Failure Events

@inproceedings{Potts2013ImprovingTE,
  title={Improving Trust Estimates in Planning Domains with Rare Failure Events},
  author={Colin M. Potts and Kurt D. Krebsbach and Jordan Tyler Thayer and David J. Musliner},
  booktitle={AAAI Spring Symposium: Trust and Autonomous Systems},
  year={2013}
}
In many planning domains, it is impossible to construct plans that are guaranteed to keep the system completely safe. A common approach is to build probabilistic plans that are guaranteed to maintain system with a sufficiently high probability. For many such domains, bounds on system safety cannot be computed analytically, but instead rely on execution sampling coupled with a plan verification techniques. While probabilistic planning with verification can work well, it is not adequate in… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-2 OF 2 CITATIONS

Iterative Statistical Verification of Probabilistic Plans

VIEW 15 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A loop acceleration technique to speed up verification of automatically generated plans

  • International Journal on Software Tools for Technology Transfer
  • 2013
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-7 OF 7 REFERENCES

CIRCA: a cooperative intelligent real-time control architecture

  • IEEE Trans. Systems, Man, and Cybernetics
  • 1993
VIEW 11 EXCERPTS
HIGHLY INFLUENTIAL

The crossentropy method for combinatorial and continuous optimization

R. Rubinstein, W. Davidson
  • Methodology and Computing in Applied Probability 2:127–190.
  • 1999
VIEW 1 EXCERPT