Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems

Esparza, Javier; Grande, Vincent Peter

Saarbrücken/Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2023)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 50th International Colloquium on Automata, Languages, and Programming : ICALP 2023, July 10-14, 2023, Paderborn, Germany / edited by Kousha Etessami, Uriel Feige, Gabriele Puppis
Seite(n)/Artikel-Nr.: 126:1-126:17

Einrichtungen

  • Graduiertenkolleg UnRAVeL [080060]
  • Fachgruppe Informatik [120000]
  • Juniorprofessur für Computational Network Science [125230]