معرفی
Joanna Delicaris is a Researcher (PhD Student) at the University of Münster, focusing on reachability analysis and optimal reachability probabilities in stochastic hybrid automata with continuous nondeterminism. She is also investigating hybrid Petri nets and their extensions, particularly their relationship with hybrid automata in the context of stochastic and nondeterministic behavior.
- Developing the RealySt tool for computing reachability probabilities in stochastic hybrid systems
- Collaborating with Prof. Dr. Anne Remke and colleagues on interdisciplinary projects
Her research bridges formal verification, stochastic modeling, and hybrid system analysis. She has contributed to multiple publications on topics such as rectangular automata with random clocks and state-space construction techniques.
Joanna co-teaches courses including:
- Modeling and Analysis of Dynamical Systems
- Discrete Structures
- Efficient Model Checking of Stochastic Hybrid Systems
۰مقاله منتشرشده
