Search and Explore: Symbiotic Policy Synthesis in POMDPs

Andriushchenko, Roman; Bork, Alexander Nikolai; Češka, Milan (Corresponding author); Junges, Sebastian; Katoen, Joost-Pieter; Macák, Filip

1st ed. 2023.. - Cham : Springer Nature Switzerland (2023)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III / edited by Constantin Enea, Akash Lal
Seite(n)/Artikel-Nr.: 113-135

Einrichtungen

  • Graduiertenkolleg UnRAVeL [080060]
  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]

Identifikationsnummern

Downloads