List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Stochastic non sequitur behavior analysis of fault tolerant hybrid systems Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Interdisciplinary Modeling of Autonomous Systems Deployed in Uncertain Dynamic Environments Informatics in Control Automation and Robotics | 2013-01-09 | Paper |
| State constrained reachability for stochastic hybrid systems Nonlinear Analysis. Hybrid Systems | 2011-06-27 | Paper |
| A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems Lecture Notes in Computer Science | 2009-08-20 | Paper |
| Integrated Formal Methods Lecture Notes in Computer Science | 2009-05-07 | Paper |
| Model Checking for a Class of Performance Properties of Fluid Stochastic Models Formal Methods and Stochastic Models for Performance Evaluation | 2009-03-12 | Paper |
| Hybrid Systems: Computation and Control Lecture Notes in Computer Science | 2005-11-11 | Paper |
| Algebraic Methodology and Software Technology Lecture Notes in Computer Science | 2005-08-25 | Paper |
Research outcomes over time
This page was built for person: Marius C. Bujorianu
