Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2407.21029
Cited By
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
15 July 2024
Oliver Schon
Shammakh Naseer
B. Wooding
Sadegh Soudjani
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification"
1 / 1 papers shown
Title
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives
Milad Kazemi
Mateo Perez
Fabio Somenzi
Sadegh Soudjani
Ashutosh Trivedi
Alvaro Velasquez
224
1
0
21 May 2025
1
