Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
All Papers
0 / 0 papers shown
Title
Home
Papers
2406.00826
Cited By
v1
v2
v3
v4 (latest)
Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
2 June 2024
Thom S. Badings
Wietze Koops
Sebastian Junges
Nils Jansen
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates"
1 / 1 papers shown
Title
Learning Verifiable Control Policies Using Relaxed Verification
Puja Chaudhury
Alexander Estornell
Michael Everett
270
0
0
23 Apr 2025
1
