Stefan Schupp
  • Bio
  • Papers
  • Experience
  • Projects
  • Experience
  • Projects
    • HyPro
  • Publications
    • State Set Representations and Their Usage in the Reachability Analysis of Hybrid Systems
    • Engineering Controllers for Swarm Robotics Via Reachability Analysis in Hybrid Systems
    • The HyDRA Tool: A Playground for the Development of Hybrid Systems Reachability Analysis Methods
    • Context-Dependent Reachability Analysis for Hybrid Systems
    • Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems
    • Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
    • Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis
    • HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis
    • Current Challenges in the Verification of Hybrid Systems
    • SMT-RAT: an Open Source C++ Toolbox for Strategic and Parallel SMT Solving
    • A Benchmark Suite for Hybrid Systems Reachability Analysis
    • Perfect Difference Sets for Neighbor Discovery

Current Challenges in the Verification of Hybrid Systems

Oct 8, 2015·
Stefan Schupp
Stefan Schupp
,
Erika Ábraham
,
Xin Chen
,
Ibtissem Ben Makhlouf
,
Goran Frehse
,
Sriram Sankaranarayanan
,
Stefan Kowalewski
· 0 min read
DOI
Type
1
Last updated on Oct 8, 2015
Stefan Schupp
Authors
Stefan Schupp
Formal Verification Engineer
← HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis Apr 9, 2017
SMT-RAT: an Open Source C++ Toolbox for Strategic and Parallel SMT Solving Sep 24, 2015 →

© 2025 Me. This work is licensed under CC BY NC ND 4.0

Made with Hugo Blox. Duplicate this template →