Certifiably Robust Policies for Uncertain Parametric Environments
Badings, T.D. Simão, M. Suilen, N. Jansen, Decision-making under uncertainty: · beyond probabilities, Int. J. Softw. Tools Technol. Transf. 25 ...
Robust probabilistic temporal logicsAbstract. Markov decision processes (MDPs) are a standard model for sequential decision-making problems and are widely used across many. 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 ChainsBadings, M. Volk, S. Junges, M. Stoelinga, N. Jansen state of the CTMC on the evidence. For example, ?what is the probability of a failure ...
Autres Cours:
