Nicolás Wolovick

Available identifiers

zbMath Open wolovick.nicolasMaRDI QIDQ2937730

List of research outcomes

Publication	Date of Publication	Type
Automatic probabilistic program verification through random variable abstraction	2021-02-16	Paper
Measurability and safety verification for stochastic hybrid systems	2017-05-16	Paper
A theory for the semantics of stochastic and non-deterministic continuous systems	2015-01-12	Paper
Bisimulations for non-deterministic labelled Markov processes	2012-03-22	Paper
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes	2008-07-08	Paper

Research outcomes over time

This page was built for person: Nicolás Wolovick