Search and Explore: Symbiotic Policy Synthesis in POMDPs

Andriushchenko, Roman; Bork, Alexander; Č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