The following pages link to Manuela L. Bujorianu (Q547911):
Displaying 14 items.
- State constrained reachability for stochastic hybrid systems (Q547913) (← links)
- Stochastic non sequitur behavior analysis of fault tolerant hybrid systems (Q2986713) (← links)
- Safety Verification of Piecewise-Deterministic Markov Processes (Q2988991) (← links)
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems (Q3393382) (← links)
- (Q3434956) (← links)
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control (Q3523143) (← links)
- Model Checking for a Class of Performance Properties of Fluid Stochastic Models (Q3613671) (← links)
- (Q4417983) (← links)
- Interdisciplinary Modeling of Autonomous Systems Deployed in Uncertain Dynamic Environments (Q4899766) (← links)
- Hybrid Systems: Computation and Control (Q5307925) (← links)
- (Q5694044) (← links)
- Hybrid Systems: Computation and Control (Q5703923) (← links)
- $p$-Safe Analysis of Stochastic Hybrid Processes (Q5853942) (← links)
- Probabilistic Safety Guarantees for Markov Decision Processes (Q6200001) (← links)
