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)
Contribution to a book, Contribution to a conference proceedings

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
Page(s)/Article-Nr.: 126:1-126:17


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Junior Professorship of Computational Network Science [125230]