Marius C. Bujorianu

Available identifiers

zbMath Open bujorianu.marius-cMaRDI QIDQ547912

List of research outcomes

Publication	Date of Publication	Type
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
Integrated Formal Methods	2009-05-07	Paper
Model Checking for a Class of Performance Properties of Fluid Stochastic Models	2009-03-12	Paper
Hybrid Systems: Computation and Control	2005-11-11	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper

Research outcomes over time

This page was built for person: Marius C. Bujorianu