Article révisé par les pairs
Titre:
  • Synthesizing POMDP Policies: Sampling Meets Model-Checking via Learning
Auteur:Chakraborty, Debraj; Majumdar, Anirban; Mathew, Prince; Mukherjee, Sayan; Raskin, Jean-François
Informations sur la publication:Lecture notes in computer science, 16683 LNCS, page (380-402)
Statut de publication:Publié, 2026
Sujet CREF:Informatique mathématique
Informatique générale
Note générale:SCOPUS: cp.k
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:doi/10.1007/978-3-032-32526-6_18
info:scp/105047022107