Manuela L. Bujorianu

Available identifiers

zbMath Open bujorianu.manuela-lMaRDI QIDQ547911

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q3434956	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Manuela L. Bujorianu