A
Menu
October 01, 2025 conference-paper Aachen paper

Numerical Errors in Quantitative System Analysis With Decision Diagrams

Lecture notes in computer science, pp. 371–388

DOI: 10.1007/978-3-032-05792-1_20 OpenAlex

Authors 4

  1. Sebastiaan Brand corresponding Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands

  2. Arend-Jan Quist Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands

  3. Richard M. K. van Dijk Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands

  4. Alfons Laarman Aachen Leiden Institute of Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands

Cited by 2 stored of 2

2 results

No patents citing this paper on Lens.org (checked 2026-10-11).

References 28