arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Thom Badings"" — arXiv2 Search
Showing 21–22 of 22 results
/ Date
/ Name
Aug 21, 2025
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
Nov 16, 2023
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions
← Previous