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

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

Institutions

• UnRAVeL Research Training Group [080060]
• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]