|
|
SFX by Ex Libris Inc.
|
|||||||
List of services to meet your request
|
|||||||||
|
|||||||||
© 2024 SFX by Ex Libris Inc. | Cookie Policy
CrossRef Omogočeno
![](https://beacon01.alma.exlibrisgroup.com/boom/apache_pb.gif?SRVR=adz.izum.si&IP=193.2.126.232&A=SFX&P=SFXMenu&S=sA245F6FE-5CED-11EF-B4BA-F92485CE164B&I=39IZM&T=&OP=Display&O=html&O1=15462846&O2=28544054700041&O3=&O4=summon.serialssolutions.com&O5=https%3A%2F%2Fadz.izum.si%2Fsfxlcl41%3Fctx_enc%3Dinfo%253Aofi%252Fenc%253AUTF-8%26ctx_ver%3DZ39.88-2004%26rfr_id%3Dinfo%253Asid%252Fsummon.serialssolutions.com%26rft.atitle%3DBi-objective%2520Lexicographic%2520Optimization%2520in%2520Markov%2520Decision%2520Processes%2520with%2520Related%2520Objectives%26rft.externalDBID%3Dn%252Fa%26rft.externalDocID%3D10_1007_978_3_031_45329_8_10%26rft.genre%3Dbookitem%26rft_id%3Dinfo%253Adoi%252F10.1007%252F978-3-031-45329-8_10%26rft_val_fmt%3Dinfo%253Aofi%252Ffmt%253Akev%253Amtx%253Abook&O6=1-SPRINGER_LINK_BOOKS_AUTOLOAD-getFullTxt-object,2-SPRINGER_LINK_BOOKS_AUTOLOAD_FIS_20231124_LCL-getFullTxt-object,3-DOI-getDOI-object,4-COBIB_SI_LCL-getHolding-object,5-AMAZON_FREE-getBookReview-object,6-REFWORKS_EXPORT_TOOL-getReference-object,7-GOOGLE_BOOK_SEARCH-getWebSearch-object,8-GOOGLE_SCHOLAR_FREE-getWebSearch-object,9-WWW_SEARCH_ENGINES_FREE-getWebSearch-object&O7=1.980675&O8=N&O9=<ctx:context-object identifier="urn:sfxstat:15462846-sA245F6FE-5CED-11EF-B4BA-F92485CE164B" timestamp="2024-08-18T01:08:38Z" xmlns:ctx="info:ofi/fmt:xml:xsd:ctx">
<ctx:referent>
<ctx:identifier>urn:sfxid:28544054700041</ctx:identifier>
<ctx:metadata-by-val>
<ctx:format>info:ofi/fmt:xml:xsd:book</ctx:format>
<ctx:metadata>
<bk:book xmlns:bk="info:ofi/fmt:xml:xsd:book">
<bk:atitle>Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives</bk:atitle>
<bk:btitle>Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I</bk:btitle>
<bk:date>2023-00-00</bk:date>
<bk:title>Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I</bk:title>
<bk:place>Cham</bk:place>
<bk:pub>Springer</bk:pub>
<bk:isbn>3-031-45328-X</bk:isbn>
<bk:issn>0302-9743</bk:issn>
<bk:genre>bookitem</bk:genre>
<bk:eisbn>3-031-45329-8</bk:eisbn>
<bk:language>eng</bk:language>
<bk:authors></bk:authors>
</bk:book>
</ctx:metadata>
</ctx:metadata-by-val>
</ctx:referent>
<ctx:requester>
<ctx:identifier>urn:ip:05dd78687f6698650ed33e4929ce9cf522f31924</ctx:identifier>
<ctx:identifier>urn:UUID:sA245F6FE-5CED-11EF-B4BA-F92485CE164B</ctx:identifier>
</ctx:requester>
<ctx:referrer>
<ctx:identifier>info:sid/summon.serialssolutions.com</ctx:identifier>
</ctx:referrer>
<ctx:service-type>
<ctx:metadata-by-val>
<ctx:format>info:ofi/fmt:xml:xsd:svcList</ctx:format>
<ctx:metadata>
<svc:svcList xmlns:svc="http://www.exlibrisgroup.com/schema/info:ofi/fmt:xml:xsd:sch_svc"></svc:svcList>
</ctx:metadata>
</ctx:metadata-by-val>
</ctx:service-type>
<ctx:resolver>
<ctx:identifier>https://adz.izum.si/sfxlcl41</ctx:identifier>
</ctx:resolver>
</ctx:context-object>
&)