ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2303.17618
  4. Cited By
Data-driven abstractions via adaptive refinements and a Kantorovich
  metric [extended version]
v1v2v3v4 (latest)

Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]

30 March 2023
Adrien Banse
Licio Romao
Alessandro Abate
Raphaël M. Jungers
ArXiv (abs)PDFHTML

Papers citing "Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]"

1 / 1 papers shown
Title
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
Oliver Schon
S. Haesaert
Sadegh Soudjani
62
0
0
20 Jun 2025
1