Shielded Reinforcement Learning for Safe and Optimal Cyber Physical Systems: Invited Presentation at the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Electronic proceedings in theoretical computer science 2024-10, Vol.409, p.2-2
1. Verfasser:	Larsen, Kim Guldstrand
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	2
container_issue
container_start_page	2
container_title	Electronic proceedings in theoretical computer science
container_volume	409
creator	Larsen, Kim Guldstrand
description
doi_str_mv	10.4204/EPTCS.409.2
format	Article
fullrecord	<record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_4204_EPTCS_409_2</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_4204_EPTCS_409_2</sourcerecordid><originalsourceid>FETCH-crossref_primary_10_4204_EPTCS_409_23</originalsourceid><addsrcrecordid>eNqVjk0LgjAYx0cUJOWpL7B7aHPai2cxgoKkeR9LH3OhUzYvfvtWdOja__J_4Xngh9AqIH5ESbRJszxhfkRin06QQ8l-69HgQKY_eY5cY57EKoxpFO8cdGa1hKaEEt9AqqrTBbSgBnwBoZVUD2wnzEQFWKgSX_tBtqLByXgHjbN6NLKwlY1mgNYs0awSjQH36wu0PqZ5cvIK3RmjoeK9tu965AHhb2T-QeYWmdPwv-sXZJlH1Q</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Shielded Reinforcement Learning for Safe and Optimal Cyber Physical Systems: Invited Presentation at the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification</title><source>EZB-FREE-00999 freely available EZB journals</source><creator>Larsen, Kim Guldstrand</creator><creatorcontrib>Larsen, Kim Guldstrand</creatorcontrib><identifier>ISSN: 2075-2180</identifier><identifier>EISSN: 2075-2180</identifier><identifier>DOI: 10.4204/EPTCS.409.2</identifier><language>eng</language><ispartof>Electronic proceedings in theoretical computer science, 2024-10, Vol.409, p.2-2</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Larsen, Kim Guldstrand</creatorcontrib><title>Shielded Reinforcement Learning for Safe and Optimal Cyber Physical Systems: Invited Presentation at the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification</title><title>Electronic proceedings in theoretical computer science</title><issn>2075-2180</issn><issn>2075-2180</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2024</creationdate><recordtype>article</recordtype><recordid>eNqVjk0LgjAYx0cUJOWpL7B7aHPai2cxgoKkeR9LH3OhUzYvfvtWdOja__J_4Xngh9AqIH5ESbRJszxhfkRin06QQ8l-69HgQKY_eY5cY57EKoxpFO8cdGa1hKaEEt9AqqrTBbSgBnwBoZVUD2wnzEQFWKgSX_tBtqLByXgHjbN6NLKwlY1mgNYs0awSjQH36wu0PqZ5cvIK3RmjoeK9tu965AHhb2T-QeYWmdPwv-sXZJlH1Q</recordid><startdate>20241030</startdate><enddate>20241030</enddate><creator>Larsen, Kim Guldstrand</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20241030</creationdate><title>Shielded Reinforcement Learning for Safe and Optimal Cyber Physical Systems</title><author>Larsen, Kim Guldstrand</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-crossref_primary_10_4204_EPTCS_409_23</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2024</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Larsen, Kim Guldstrand</creatorcontrib><collection>CrossRef</collection><jtitle>Electronic proceedings in theoretical computer science</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Larsen, Kim Guldstrand</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Shielded Reinforcement Learning for Safe and Optimal Cyber Physical Systems: Invited Presentation at the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification</atitle><jtitle>Electronic proceedings in theoretical computer science</jtitle><date>2024-10-30</date><risdate>2024</risdate><volume>409</volume><spage>2</spage><epage>2</epage><pages>2-2</pages><issn>2075-2180</issn><eissn>2075-2180</eissn><doi>10.4204/EPTCS.409.2</doi></addata></record>
fulltext	fulltext
identifier	ISSN: 2075-2180
ispartof	Electronic proceedings in theoretical computer science, 2024-10, Vol.409, p.2-2
issn	2075-2180 2075-2180
language	eng
recordid	cdi_crossref_primary_10_4204_EPTCS_409_2
source	EZB-FREE-00999 freely available EZB journals
title	Shielded Reinforcement Learning for Safe and Optimal Cyber Physical Systems: Invited Presentation at the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-23T10%3A37%3A40IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Shielded%20Reinforcement%20Learning%20for%20Safe%20and%20Optimal%20Cyber%20Physical%20Systems:%20Invited%20Presentation%20at%20the%20Fifteenth%20International%20Symposium%20on%20Games,%20Automata,%20Logics,%20and%20Formal%20Verification&rft.jtitle=Electronic%20proceedings%20in%20theoretical%20computer%20science&rft.au=Larsen,%20Kim%20Guldstrand&rft.date=2024-10-30&rft.volume=409&rft.spage=2&rft.epage=2&rft.pages=2-2&rft.issn=2075-2180&rft.eissn=2075-2180&rft_id=info:doi/10.4204/EPTCS.409.2&rft_dat=%3Ccrossref%3E10_4204_EPTCS_409_2%3C/crossref%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true