Manuela-Luminita Bujorianu

58 papers B 1C 1Journal 13Unranked 39

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Provably Safe Reinforcement Learning for Stochastic Reach-Avoid Problems with Entropy Regularization. CoRR Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu
2026	J	`jnl`	Robust Correlated Equilibrium: Definition and computation. Autom. Rahul Misra, Rafal Wisniewski, Carsten Skovmose Kallesøe, Manuela-Luminita Bujorianu
2025	J	`jnl`	An Online Multiobjective Policy Gradient for Long-run Average-reward Markov Decision Process. CoRR Rahul Misra, Manuela-Luminita Bujorianu, Rafal Wisniewski
2025	J	`jnl`	Data-Driven Robust Safety Verification for Markov Decision Processes. CoRR Abhijit Mazumdar, Manuela-Luminita Bujorianu, Rafal Wisniewski
2025	—	`conf`	Safety Robustness for Time-Inhomogeneous Markov Chains. CDC Manuela-Luminita Bujorianu, Rafael Wisniewski
2024	—	`conf`	Online Model-Free Safety Verification for Markov Decision Processes Without Safety Violation. ECC Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu
2024	—	`conf`	Safe Reinforcement Learning for Constrained Markov Decision Processes with Stochastic Stopping Time. CDC Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu
2024	J	`jnl`	Safe Reinforcement Learning for Constrained Markov Decision Processes with Stochastic Stopping Time. CoRR Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu
2023	—	`conf`	Cyber-Physical Ecosystems: Modelling and Verification. ECBS Manuela-Luminita Bujorianu
2023	—	`conf`	From MDP to POMDP and Back: Safety and Compositionality. ECC Manuela-Luminita Bujorianu, Tristan Caulfield, David J. Pym, Rafael Wisniewski
2023	—	`conf`	Online Learning of Safety function for Markov Decision Processes. ECC Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu
2023	J	`jnl`	Online Model-free Safety Verification for Markov Decision Processes Without Safety Violation. CoRR Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu
2023	J	`jnl`	Probabilistic Safety Guarantees for Markov Decision Processes. IEEE Trans. Autom. Control. Rafal Wisniewski, Manuela-Luminita Bujorianu
2023	J	`jnl`	Robust Correlated Equilibrium: Definition and Computation. CoRR Rahul Misra, Rafal Wisniewski, Carsten Skovmose Kallesøe, Manuela-Luminita Bujorianu
2021	J	`jnl`	Safety of stochastic systems: An analytic and computational approach. Autom. Rafal Wisniewski, Manuela-Luminita Bujorianu
2021	J	`jnl`	Stochastic Safety for Markov Chains. IEEE Control. Syst. Lett. Manuela-Luminita Bujorianu, Rafael Wisniewski, Evangelos Boulougouris
2021	C	`conf`	Stochastic Safety for Random Dynamical Systems. ACC Manuela-Luminita Bujorianu, Rafal Wisniewski, Evangelos Boulougouris
2020	J	`jnl`	$p$-Safe Analysis of Stochastic Hybrid Processes. IEEE Trans. Autom. Control. Rafael Wisniewski, Manuela-Luminita Bujorianu, Christoffer Sloth
2019	—	`conf`	New Insights on p-safety of Stochastic Systems. CDC Manuela-Luminita Bujorianu, Rafael Wisniewski
2019	J	`jnl`	Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review. Reliab. Eng. Syst. Saf. Victor Bolbot, Gerasimos Theotokatos, Manuela-Luminita Bujorianu, Evangelos Boulougouris, Dracos Vassalos
2018	—	`conf`	CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems. CyPhy/WESE Manuela-Luminita Bujorianu
2017	—	`conf`	Stochastic safety analysis of stochastic hybrid systems. CDC Rafael Wisniewski, Manuela-Luminita Bujorianu
2016	—	`conf`	Safety Verification of Piecewise-Deterministic Markov Processes. HSCC Rafael Wisniewski, Christoffer Sloth, Manuela-Luminita Bujorianu, Nir Piterman
2015	—	`conf`	A Modelling Framework for Cyber-Physical System Resilience. CyPhy Manuela-Luminita Bujorianu, Nir Piterman
2015	—	`conf`	Functional model reduction of inhomogeneous Markov chains. ECC Manuela-Luminita Bujorianu
2015	—	`ed.`	Proceedings 4th Workshop on Hybrid Autonomous Systems, HAS 2014, Grenoble, France, 12-13 April 2014. HAS Manuela-Luminita Bujorianu, Rafael Wisniewski
2014	—	`conf`	Complex systems techniques for cyber-physical systems: position paper. CyPhy Manuela-Luminita Bujorianu, Robert S. MacKay
2013	—	`conf`	A coordination model for ultra-large scale systems of systems. AiSoS Manuela-Luminita Bujorianu, Marius C. Bujorianu
2013	—	`ed.`	Proceedings Third International Workshop on Hybrid Autonomous Systems, HAS 2013, Rome, Italy, 17th March 2013. HAS Luca Bortolussi, Manuela-Luminita Bujorianu, Giordano Pola
2012	—	`conf`	Contingent Hybrid Systems. ADHS Manuela-Luminita Bujorianu, Marius C. Bujorianu
2011	—	`conf`	How good are the stochastic analysis methods for stochastic reachability. CDC/ECC Manuela-Luminita Bujorianu
2011	J	`jnl`	Preface. Ann. Math. Artif. Intell. Manuela-Luminita Bujorianu, Michael Fisher, Corina S. Pasareanu
2011	—	`conf`	Stochastic non sequitur behavior analysis of fault tolerant hybrid systems. HSCC Manuela-Luminita Bujorianu, Marius C. Bujorianu
2011	—	`conf`	Systems theory in an analytic setting. CDC/ECC Manuela-Luminita Bujorianu, Marius C. Bujorianu, Howard Barringer
2010	—	`conf`	Variational inequalities for the stochastic reachability problem. CDC Manuela-Luminita Bujorianu
2009	—	`conf`	Co-evolution Preserving Model Reduction for Uncertain Cyber-physical Systems - Towards a Framework for Nanoscience. ICINCO-SPSMC Manuela-Luminita Bujorianu, Marius C. Bujorianu
2009	—	`conf`	Dealing with stochastic reachability. CDC Manuela-Luminita Bujorianu
2009	—	`conf`	Large deviation methods for stochastic reachability. CDC Manuela-Luminita Bujorianu, Hong Wang
2009	—	`ed.`	Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009. FMA Manuela-Luminita Bujorianu, Michael Fisher
2009	—	`conf`	State Constrained Reachability for Stochastic Hybrid Systems. ADHS Manuela-Luminita Bujorianu, Marius C. Bujorianu
2009	—	`conf`	Towards Co-Engineering Communicating Autonomous Cyber-physical Systems. NASA Formal Methods Manuela-Luminita Bujorianu, Marius C. Bujorianu
2008	—	`conf`	A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. CLIMA Marius C. Bujorianu, Manuela-Luminita Bujorianu, Howard Barringer
2008	—	`conf`	Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. HSCC Manuela-Luminita Bujorianu, John Lygeros, Rom Langerak
2008	—	`conf`	Symmetry reduction for stochastic hybrid systems. CDC Manuela-Luminita Bujorianu, Joost-Pieter Katoen
2007	B	`conf`	An Integrated Specification Framework for Embedded Systems. SEFM Marius C. Bujorianu, Manuela-Luminita Bujorianu
2007	—	`conf`	New insights on stochastic reachability. CDC Manuela-Luminita Bujorianu, John Lygeros
2007	—	`conf`	Towards Hilbertian Formal Methods. ACSD Marius C. Bujorianu, Manuela-Luminita Bujorianu
2006	—	`conf`	Functional Abstractions of stochastic Hybrid Systems. ADHS Manuela-Luminita Bujorianu, Henk A. P. Blom, Holger Hermanns
2006	—	`conf`	Model Checking for a Class of Performance Properties of Fluid Stochastic Models. EPEW Manuela-Luminita Bujorianu, Marius C. Bujorianu
2006	—	`conf`	Viewpoint Development of Stochastic Hybrid Systems. CDC Manuela-Luminita Bujorianu, Marius C. Bujorianu
2005	—	`conf`	A Statistical Inference Method for the Stochastic Reachability Analysis. CDC/ECC Manuela-Luminita Bujorianu
2005	—	`conf`	Abstractions of Stochastic Hybrid Systems. CDC/ECC Manuela-Luminita Bujorianu, Marius C. Bujorianu, John Lygeros
2005	—	`conf`	Bisimulation for General Stochastic Hybrid Systems. HSCC Manuela-Luminita Bujorianu, John Lygeros, Marius C. Bujorianu
2005	—	`—`	Stochastic hybrid system : modelling and verification. Manuela-Luminita Bujorianu
2004	—	`conf`	Extended Stochastic Hybrid Systems and Their Reachability Problem. HSCC Manuela-Luminita Bujorianu
2004	—	`conf`	General stochastic hybrid systems: modelling and optimal control. CDC Manuela-Luminita Bujorianu, John Lygeros
2003	—	`conf`	Reachability Questions in Piecewise Deterministic Markov Processes. HSCC Manuela-Luminita Bujorianu, John Lygeros
2003	—	`conf`	Stochastic Hybrid Models: An Overview. ADHS Giordano Pola, Manuela-Luminita Bujorianu, John Lygeros, Maria Domenica Di Benedetto