يعرض 1 - 4 نتائج من 4 نتيجة بحث عن '"Müllner, Julian"', وقت الاستعلام: 0.70s تنقيح النتائج
  1. 1
    تقرير
    Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs

    المؤلفون: Müllner, Julian, Moosbrugger, Marcel, Kovács, Laura

    مصطلحات موضوعية: Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/2307.10902

    أضف إلى المفضلة
  2. 2
    تقرير
    Automated Sensitivity Analysis for Probabilistic Loops

    المؤلفون: Moosbrugger, Marcel, Müllner, Julian, Kovács, Laura

    مصطلحات موضوعية: Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/2305.15259

    أضف إلى المفضلة
  3. 3
    كتاب إلكتروني
    Automated Sensitivity Analysis for Probabilistic Loops

    المؤلفون: Moosbrugger, MarcelAff9, Müllner, JulianAff9, Kovács, LauraAff9

    المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Herber, Paula, editorAff7, Wijs, Anton, editorAff8

    المصدر: Integrated Formal Methods : 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. 14300:21-39

    أضف إلى المفضلة
  4. 4
    Exact Inference for Probabilistic Loops

    المؤلفون: Müllner, Julian

    مصطلحات موضوعية: formal methods, program analysis, probabilistic reasoning, symbolic computation

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6a7c292df0f0553c3182db0d5ced7593

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء