|
[ElS24]
Ingy ElSayed-Aly.
Safe Sequential Decision Making in Uncertain Environments.
Ph.D. thesis, University of Virginia.
2024.
https://libraetd.lib.virginia.edu/public_view/x346d566k
[Develops methods for safe sequential decision making, including distributional extensions of probabilistic model checking implemented in PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
https://libraetd.lib.virginia.edu/public_view/x346d566k
|