The following pages link to Marius C. Bujorianu (Q547912):
Displaying 8 items.
- State constrained reachability for stochastic hybrid systems (Q547913) (← links)
- Stochastic non sequitur behavior analysis of fault tolerant hybrid systems (Q2986713) (← links)
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems (Q3393382) (← links)
- Model Checking for a Class of Performance Properties of Fluid Stochastic Models (Q3613671) (← links)
- Interdisciplinary Modeling of Autonomous Systems Deployed in Uncertain Dynamic Environments (Q4899766) (← links)
- Algebraic Methodology and Software Technology (Q5313012) (← links)
- Hybrid Systems: Computation and Control (Q5703923) (← links)
- Integrated Formal Methods (Q5901619) (← links)
