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 ...







Robust Verification of Stochastic Systems - Radboud Repository
... Badings. Cover: Thom Badings. Printing: DPN Rikken/Pumbo. ISBN: 9789493296909. DOI: https://doi.org/10.54195/9789493296909. Free download at: www.
The Value Problem for Multiple-Environment MDPs with Parity ...
Badings, T. D. Simão, M. Suilen, and N. Jansen. Decision-making under uncertainty: beyond probabilities. Int. J. Softw. Tools Technol. Transf., 25(3):375 ...
Robust Verification of Stochastic Systems - Primavera Project
This is an Open Access book published under the terms of Creative Commons Attribution-. Noncommercial-NoDerivatives International license (CC BY-NC-ND 4.0).



Autres Cours:

Decision-Making Under Uncertainty (Meets Neurosymbolic AI)