A
Menu
January 01, 2021 conference-paper Open access Aachen paper

Tweaking the Odds in Probabilistic Timed Automata

Lecture notes in computer science, pp. 39–58

DOI: 10.1007/978-3-030-85172-9_3 Full text (OA) OpenAlex

Authors 4

  1. Arnd Hartmanns corresponding

    University of Twente

    Affiliation as printed

    University of Twente, Enschede, The Netherlands

  2. Joost-Pieter Katoen Aachen

    RWTH Aachen University · University of Twente

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

    University of Twente, Enschede, The Netherlands

  3. Bram Kohlen

    University of Twente

    Affiliation as printed

    University of Twente, Enschede, The Netherlands

  4. Jip Spel Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

Cited by 4 stored of 4

4 results

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

References 60