Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks

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

Springer (2023)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings / edited by Cristina David, Meng Sun
Seite(n)/Artikel-Nr.: 164-182

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]

Identifikationsnummern

Verwandte Publikationen