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 |
|---|---|---|
| Divide and conquer: variable set separation in hybrid systems reachability analysis | 2025-02-26 | Paper |
| Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction ACM Transactions on Modeling and Computer Simulation | 2024-09-06 | Paper |
| Spread the work: multi-threaded safety analysis for hybrid systems Software Engineering and Formal Methods | 2023-05-05 | Paper |
| Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} Information and Computation | 2022-12-08 | Paper |
| Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction | 2022-03-24 | Paper |
| Efficient dynamic error reduction for hybrid systems reachability analysis | 2019-09-16 | Paper |
| \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving Lecture Notes in Computer Science | 2015-11-20 | Paper |
Research outcomes over time
This page was built for person: Stefan Schupp
