h1

001019973 001__ 1019973
001019973 005__ 20260224145115.0
001019973 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-105014723369
001019973 0247_ $$2WOS$$aWOS:001592914500018
001019973 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-08686
001019973 037__ $$aRWTH-2025-08686
001019973 041__ $$aEnglish
001019973 1001_ $$0P:(DE-82)IDM04977$$aBork, Alexander Nikolai$$b0$$eCorresponding author$$urwth
001019973 1112_ $$a41. Conference on Uncertainty in Artificial Intelligence$$cRio de Janeiro$$d2025-07-21 - 2025-07-25$$gUAI 2025$$wBrazil
001019973 245__ $$aMulti-Cost-Bounded Reachability Analysis of POMDPs$$honline
001019973 260__ $$c2025
001019973 29510 $$aConference on Uncertainty in Artificial Intelligence, 21-25 July 2025, Rio Othon Palace, Rio de Janeiro, Brazil / Editors: Silvia Chiappa, Sara Magliacane
001019973 300__ $$a354-366
001019973 3367_ $$033$$2EndNote$$aConference Paper
001019973 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book
001019973 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib
001019973 3367_ $$2BibTeX$$aINPROCEEDINGS
001019973 3367_ $$2DRIVER$$aconferenceObject
001019973 3367_ $$2DataCite$$aOutput Types/Conference Paper
001019973 3367_ $$2ORCID$$aCONFERENCE_PAPER
001019973 4900_ $$aProceedings of machine learning research$$v286
001019973 536__ $$0G:(MKW NRW)005-2401-0001$$aMKW NRW 005-2401-0001 - VerifAIPO : Verifying Al Systems under Partial Observability (005-2401-0001)$$c005-2401-0001$$x0
001019973 588__ $$aDataset connected to DataCite
001019973 591__ $$aGermany
001019973 7001_ $$0P:(DE-82)IDM01389$$aQuatmann, Tim$$b1$$urwth
001019973 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b2$$urwth
001019973 7001_ $$0P:(DE-82)IDM05436$$aStein, Svenja Maria$$b3$$urwth
001019973 8564_ $$uhttps://openreview.net/forum?id=1O05cyJ3qm$$yFulltext
001019973 8564_ $$uhttps://proceedings.mlr.press/v286/$$yHomepage of book
001019973 8564_ $$uhttps://publications.rwth-aachen.de/record/1019973/files/1019973.pdf$$yOpenAccess
001019973 909CO $$ooai:publications.rwth-aachen.de:1019973$$popenaire$$popen_access$$pdriver$$pdnbdelivery$$pVDB
001019973 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04977$$aRWTH Aachen$$b0$$kRWTH
001019973 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01389$$aRWTH Aachen$$b1$$kRWTH
001019973 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b2$$kRWTH
001019973 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM05436$$aRWTH Aachen$$b3$$kRWTH
001019973 9141_ $$y2025
001019973 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
001019973 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
001019973 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
001019973 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
001019973 9201_ $$0I:(DE-82)080060_20170720$$k080060$$lGraduiertenkolleg UnRAVeL$$x1
001019973 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x2
001019973 961__ $$c2025-10-15T16:58:02.636580$$x2025-10-15T16:58:02.636580$$z2025-10-20
001019973 9801_ $$aFullTexts
001019973 980__ $$aI:(DE-82)080060_20170720
001019973 980__ $$aI:(DE-82)120000_20140620
001019973 980__ $$aI:(DE-82)121310_20140620
001019973 980__ $$aUNRESTRICTED
001019973 980__ $$aVDB
001019973 980__ $$acontb
001019973 980__ $$acontrib