Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks

Delicaris, Joanna; Remke, Anne; Ábrahám, Erika; Schupp, Stefan

doi:10.48550/arXiv.2304.14996

Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks

Delicaris, Joanna (Corresponding author) ; Schupp, Stefan (Corresponding author) ; Ábrahám, Erika (Corresponding author)^RWTH* ; Remke, Anne (Corresponding author)

2023

Umfang25 Seiten

Online
DOI: 10.48550/arXiv.2304.14996
10.48550/arXiv.2304.14996
DOI: 10.18154/RWTH-2023-08112
URL: https://publications.rwth-aachen.de/record/964116/files/964116.pdf

Einrichtungen

OpenAccess:
PDF
External link:
Fulltext by arXiv.org

Dokumenttyp
Preprint

Format
online

Sprache
English

Anmerkung
Peer review status of article unknown

Externe Identnummern
arXiv: arXiv:2304.14996

Interne Identnummern
RWTH-2023-08112
Datensatz-ID: 964116

Beteiligte Länder
Austria, Germany

Related:

Contribution to a book/Contribution to a conference proceedings Delicaris, J. (Corresponding author) ; Schupp, S. (Corresponding author) ; Ábrahám, E. (Corresponding author)RWTH* ; Remke, A. (Corresponding author)
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
2023Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings / edited by Cristina David, Meng Sun
Theoretical Aspects of Software Engineering - 17. International Symposium 2023, TASE 2023, BristolBristol, UK, 4 Jul 2023 - 6 Jul 20232023-07-042023-07-06 Springer, Lecture Notes in Computer Science 13931, 164-182 (2023) [10.1007/978-3-031-35257-7_10]2023 BibTeX | EndNote: XML, Text | RIS