Probabilistic Hyperproperties with Rewards

Dobe, Oyendrila; Wilke, Lukas; Ábrahám, Erika; Bonakdarpour, Borzoo (Corresponding author); Bartocci, Ezio

Cham : Springer International Publishing (2022)
Buchbeitrag, Beitrag zu einem Tagungsband

In: NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez
Seite(n)/Artikel-Nr.: 656-673

Einrichtungen

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

Identifikationsnummern