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

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

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Originele taal-2Engels
UitgeverZenodo
DOI's
StatusGepubliceerd - 12 mei 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/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    29 Downloads (Pure)

Citeer dit