ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2403.10497
  4. Cited By
Data-Driven Distributionally Robust Safety Verification Using Barrier
  Certificates and Conditional Mean Embeddings

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings

15 March 2024
Oliver Schon
Zhengang Zhong
Sadegh Soudjani
ArXivPDFHTML

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
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