Manuela L. Bujorianu

Available identifiers

Publication	Date of Publication	Type
Probabilistic Safety Guarantees for Markov Decision Processes	2024-02-29	Paper
Safe Dynamic Programming	2021-09-07	Paper
A new stochastic framework for ship capsizing	2021-05-12	Paper
$p$-Safe Analysis of Stochastic Hybrid Processes	2021-03-12	Paper
Safety verification of piecewise-deterministic Markov processes	2017-05-19	Paper
Stochastic non sequitur behavior analysis of fault tolerant hybrid systems	2017-05-16	Paper
Interdisciplinary Modeling of Autonomous Systems Deployed in Uncertain Dynamic Environments	2013-01-09	Paper
State constrained reachability for stochastic hybrid systems	2011-06-27	Paper
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems	2009-08-20	Paper
Model Checking for a Class of Performance Properties of Fluid Stochastic Models	2009-03-12	Paper
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control	2008-09-02	Paper
Hybrid Systems: Computation and Control	2007-09-25	Paper
Toward a general theory of stochastic hybrid systems	2007-05-03	Paper
Hybrid Systems: Computation and Control	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q5694044	2005-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q4417983	2003-07-30	Paper

This page was built for person: Manuela L. Bujorianu