Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'

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

Onderzoeksoutput: Niet-tekstuele vorm › computerprogramma software › Professioneel

  • 1 Conferentiebijdrage
Filter
Conferentiebijdrage

Zoekresultaten

  • 2023

    Efficient Sensitivity Analysis for Parametric Robust Markov Chains

    Badings, T., Junges, S., Marandi, A., Topcu, U. & Jansen, N., 17 jul. 2023, Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. Enea, C. & Lal, A. (uitgave). Cham: Springer, blz. 62-85 24 blz. (Lecture Notes in Computer Science (LNCS); vol. 13966).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    29 Downloads (Pure)