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

Onderzoeksoutput: Niet-tekstuele vorm › computerprogramma software › Professioneel

Originele taal-2Engels
UitgeverZenodo
DOI's
StatusGepubliceerd - 12 mei 2023

Toegang tot document

  • 1 Conferentiebijdrage

  • 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. (reds.). 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
    1   !!Link opens in a new tab Citaat (Scopus)
    82 Downloads (Pure)

Citeer dit