Manuela-Luminita Bujorianu

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 19

Top Venues

University of Stirling, UK (PHD)

Education History

University of Stirling, UK

PHD

Publications

Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu
Online Model-Free Safety Verification for Markov Decision Processes Without Safety Violation. ECC (2024)
Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu
Safe Reinforcement Learning for Constrained Markov Decision Processes with Stochastic Stopping Time. CoRR (2024)
Manuela-Luminita Bujorianu, Tristan Caulfield, David J. Pym, Rafael Wisniewski
From MDP to POMDP and Back: Safety and Compositionality. ECC (2023)
Manuela-Luminita Bujorianu
Cyber-Physical Ecosystems: Modelling and Verification. ECBS (2023)
Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu
Online Learning of Safety function for Markov Decision Processes. ECC (2023)
Rafal Wisniewski, Manuela-Luminita Bujorianu
Probabilistic Safety Guarantees for Markov Decision Processes. IEEE Trans. Autom. Control. 68 (12) (2023)
Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu
Online Model-free Safety Verification for Markov Decision Processes Without Safety Violation. CoRR (2023)
Rahul Misra, Rafal Wisniewski, Carsten Skovmose Kallesøe, Manuela-Luminita Bujorianu
Robust Correlated Equilibrium: Definition and Computation. CoRR (2023)
Rafal Wisniewski, Manuela-Luminita Bujorianu
Safety of stochastic systems: An analytic and computational approach. Autom. 133 (2021)
Manuela-Luminita Bujorianu, Rafael Wisniewski, Evangelos Boulougouris
Stochastic Safety for Markov Chains. IEEE Control. Syst. Lett. 5 (2) (2021)
Manuela-Luminita Bujorianu, Rafal Wisniewski, Evangelos Boulougouris
Stochastic Safety for Random Dynamical Systems. ACC (2021)
Rafael Wisniewski, Manuela-Luminita Bujorianu, Christoffer Sloth
$p$-Safe Analysis of Stochastic Hybrid Processes. IEEE Trans. Autom. Control. 65 (12) (2020)
Manuela-Luminita Bujorianu, Rafael Wisniewski
New Insights on p-safety of Stochastic Systems. CDC (2019)
Victor Bolbot, Gerasimos Theotokatos, Manuela-Luminita Bujorianu, Evangelos Boulougouris, Dracos Vassalos
Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review. Reliab. Eng. Syst. Saf. 182 (2019)
Manuela-Luminita Bujorianu
CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems. CyPhy/WESE (2018)
Rafael Wisniewski, Manuela-Luminita Bujorianu
Stochastic safety analysis of stochastic hybrid systems. CDC (2017)
Rafael Wisniewski, Christoffer Sloth, Manuela-Luminita Bujorianu, Nir Piterman
Safety Verification of Piecewise-Deterministic Markov Processes. HSCC (2016)
Manuela-Luminita Bujorianu
Functional model reduction of inhomogeneous Markov chains. ECC (2015)
Manuela-Luminita Bujorianu, Nir Piterman
A Modelling Framework for Cyber-Physical System Resilience. CyPhy (2015)
Manuela-Luminita Bujorianu, Robert S. MacKay
Complex systems techniques for cyber-physical systems: position paper. CyPhy (2014)
Manuela-Luminita Bujorianu, Marius C. Bujorianu
A coordination model for ultra-large scale systems of systems. AiSoS (2013)
Manuela-Luminita Bujorianu, Marius C. Bujorianu
Contingent Hybrid Systems. ADHS (2012)
Manuela-Luminita Bujorianu, Marius C. Bujorianu, Howard Barringer
Systems theory in an analytic setting. CDC/ECC (2011)
Manuela-Luminita Bujorianu
How good are the stochastic analysis methods for stochastic reachability. CDC/ECC (2011)
Manuela-Luminita Bujorianu, Michael Fisher, Corina S. Pasareanu
Preface. Ann. Math. Artif. Intell. 63 (1) (2011)
Manuela-Luminita Bujorianu, Marius C. Bujorianu
Stochastic non sequitur behavior analysis of fault tolerant hybrid systems. HSCC (2011)
Manuela-Luminita Bujorianu
Variational inequalities for the stochastic reachability problem. CDC (2010)
Manuela-Luminita Bujorianu
Dealing with stochastic reachability. CDC (2009)
Manuela-Luminita Bujorianu, Marius C. Bujorianu
Towards Co-Engineering Communicating Autonomous Cyber-physical Systems. NASA Formal Methods (2009)
Manuela-Luminita Bujorianu, Hong Wang
Large deviation methods for stochastic reachability. CDC (2009)
Manuela-Luminita Bujorianu, Marius C. Bujorianu
State Constrained Reachability for Stochastic Hybrid Systems. ADHS (2009)
Manuela-Luminita Bujorianu, Marius C. Bujorianu
Co-evolution Preserving Model Reduction for Uncertain Cyber-physical Systems - Towards a Framework for Nanoscience. ICINCO-SPSMC (2009)
Manuela-Luminita Bujorianu, Joost-Pieter Katoen
Symmetry reduction for stochastic hybrid systems. CDC (2008)
Marius C. Bujorianu, Manuela-Luminita Bujorianu, Howard Barringer
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. CLIMA (2008)
Manuela-Luminita Bujorianu, John Lygeros, Rom Langerak
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. HSCC (2008)
Marius C. Bujorianu, Manuela-Luminita Bujorianu
Towards Hilbertian Formal Methods. ACSD (2007)
Manuela-Luminita Bujorianu, John Lygeros
New insights on stochastic reachability. CDC (2007)
Marius C. Bujorianu, Manuela-Luminita Bujorianu
An Integrated Specification Framework for Embedded Systems. SEFM (2007)
Manuela-Luminita Bujorianu, Marius C. Bujorianu
Model Checking for a Class of Performance Properties of Fluid Stochastic Models. EPEW (2006)
Manuela-Luminita Bujorianu, Marius C. Bujorianu
Viewpoint Development of Stochastic Hybrid Systems. CDC (2006)
Manuela-Luminita Bujorianu, Henk A. P. Blom, Holger Hermanns
Functional Abstractions of stochastic Hybrid Systems. ADHS (2006)
Manuela-Luminita Bujorianu
A Statistical Inference Method for the Stochastic Reachability Analysis. CDC/ECC (2005)
Manuela-Luminita Bujorianu, John Lygeros, Marius C. Bujorianu
Bisimulation for General Stochastic Hybrid Systems. HSCC (2005)
Manuela-Luminita Bujorianu, Marius C. Bujorianu, John Lygeros
Abstractions of Stochastic Hybrid Systems. CDC/ECC (2005)
Manuela-Luminita Bujorianu, John Lygeros
General stochastic hybrid systems: modelling and optimal control. CDC (2004)
Manuela-Luminita Bujorianu
Extended Stochastic Hybrid Systems and Their Reachability Problem. HSCC (2004)
Giordano Pola, Manuela-Luminita Bujorianu, John Lygeros, Maria Domenica Di Benedetto
Stochastic Hybrid Models: An Overview. ADHS (2003)
Manuela-Luminita Bujorianu, John Lygeros
Reachability Questions in Piecewise Deterministic Markov Processes. HSCC (2003)

Manuela-Luminita Bujorianu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manuela-Luminita Bujorianu