Stefan Schupp

From MaRDI portal
Person:832095

Available identifiers

zbMath Open schupp.stefanMaRDI QIDQ832095

List of research outcomes





PublicationDate of PublicationType
Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction2024-09-06Paper
Spread the work: multi-threaded safety analysis for hybrid systems2023-05-05Paper
Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}2022-12-08Paper
Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction2022-03-24Paper
Efficient dynamic error reduction for hybrid systems reachability analysis2019-09-16Paper
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving2015-11-20Paper

Research outcomes over time

This page was built for person: Stefan Schupp

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:832095&oldid=7704235"
Powered by MediaWiki