Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
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
