Robuta

https://research.utwente.nl/en/publications/probabilistic-reachability-analysis-for-large-scale-stochastic-hy/ Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems - University of... stochastic hybrid systems reachability analysis large scale probabilistic https://research.utwente.nl/en/publications/abstractions-of-stochastic-hybrid-systems/ Abstractions of Stochastic Hybrid Systems - University of Twente Research Information stochastic hybrid systems abstractions university twente research https://iccl.inf.tu-dresden.de/web/Inproceedings3911055884/en Rare-Event Verification for Stochastic Hybrid Systems - International Center for Computational Logic Paolo Zuliani, Christel Baier, Edmund M. Clarke. Rare-Event Verification for Stochastic Hybrid Systems. Proc. of the 15th International Conference on Hybrid... stochastic hybrid systems international center rare event verification https://www.ccdc.ucsb.edu/publications/11928 Polynomial stochastic hybrid systems | Center for Control, Dynamical Systems and Computation | UC... stochastic hybrid systems center for polynomial https://spiral.imperial.ac.uk/entities/publication/0af44209-29a7-4e0c-902a-ab27f8061a0e Stochastic hybrid systems in cellular neuroscience We review recent work on the theory and applications of stochastic hybrid systems in cellular neuroscience. A stochastic hybrid system or piecewise... stochastic hybrid systems cellular neuroscience