Robust Markov Decision Processes: A Place Where AI and Formal ...

Badings, T., Simão, T.D., Suilen, M., Jansen, N.: Decision-making under uncer- tainty: beyond probabilities. Int. J. Softw. Tools Technol ...







Efficient Sensitivity Analysis for Parametric Robust Markov Chains
Badings, M. Volk, S. Junges, M. Stoelinga, N. Jansen state of the CTMC on the evidence. For example, ?what is the probability of a failure ...
Decision-Making Under Uncertainty (Meets Neurosymbolic AI)
Thom S. Badings, Thiago D. Sim?o, Marnix Suilen, Nils Jansen: Decision-making under uncertainty: beyond probabilities. Int.
The Value Problem for Multiple-Environment MDPs with Parity ...
T. S. Badings, T. D. Simão, M. Suilen, and N. Jansen. Decision-making under uncertainty: 1460 beyond probabilities. Int. J. Softw. Tools Technol. Transf ...



Autres Cours:

Robust probabilistic temporal logics