Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2403.10497
Cited By
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
15 March 2024
Oliver Schon
Zhengang Zhong
Sadegh Soudjani
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings"
1 / 1 papers shown
Title
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
Abolfazl Lavaei
F. Somenzi
Sadegh Soudjani
Ashutosh Trivedi
Majid Zamani
55
52
0
02 Mar 2020
1