frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Verification of Stochastic Systems: Guarantees in the Presence of Uncertainty

https://books.radbouduniversitypress.nl/index.php/rup/catalog/book/Robust-Verification-Stochastic-Systems
1•measurablefunc•1h ago