Efficient Sensitivity Analysis for Parametric Robust Markov Chains

Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

29 Downloads (Pure)

1 Software

1 results

Filter

2023

Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'
Badings, T. S., Junges, S., Marandi, A., Topcu, U. & Jansen, N., 12 May 2023
Research output: Non-textual form › Software › Professional

Open Access