To Örebro University
oru.se
Örebro University Publications
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-117577
Direct link
https://oru.diva-portal.org/smash/record.jsf?pid=diva2:1918481
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Safe Reinforcement Learning via Probabilistic Logic Shields
Yang, Wen-Chi
Katholieke University Leuven, Leuven AI, Leuven, Belgium.
Marra, Giuseppe
Katholieke University Leuven, Leuven AI, Leuven, Belgium.
Rens, Gavin
Stellenbosch University, Stellenbosch, South Africa.
De Raedt, Luc
Örebro University, School of Science and Technology. Katholieke University Leuven, Leuven AI, Leuven, Belgium.
(Centre for Applied Autonomous Sensor Systems (AASS))
ORCID iD:
0000-0002-6860-6303
2023 (English)
In:
Neural-Symbolic Learning and Reasoning 2023: Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023 / [ed] Artur S. d'Avila Garcez; Tarek R. Besold; Marco Gori; Ernesto Jiménez-Ruiz, Technical University of Aachen , 2023, Vol. 3432, p. 428-429
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Technical University of Aachen , 2023. Vol. 3432, p. 428-429
Series
CEUR Workshop Proceedings, E-ISSN 1613-0073 ; 3432
Keywords [en]
probabilistic shields, statistical relational AI, probabilistic logic programming, safe reinforcement learning
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:oru:diva-117577
ISI:
001333803200045
OAI: oai:DiVA.org:oru-117577
DiVA, id:
diva2:1918481
Conference
17th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2023), Siena, Italy, July 3-5, 2023
Available from:
2024-12-05
Created:
2024-12-05
Last updated:
2024-12-05
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Authority records
De Raedt, Luc
Search in DiVA
By author/editor
De Raedt, Luc
By organisation
School of Science and Technology
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
urn-nbn
Altmetric score
urn-nbn
Total: 27 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-117577
Direct link
https://oru.diva-portal.org/smash/record.jsf?pid=diva2:1918481
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.47.0
|
WCAG
|
Örebro University Library
|
DiVA Portal
|
DiVA Log in
|
Register in DiVA
|
Contact us
DiVA
Logotyp