Stefan Schupp
  • Bio
  • Publications
  • Experience
  • Projects
  • Publications
    • An Adaptive, Provable Correct Simplex Architecture
    • Arch-Comp25 Category Report: Stochastic Models
    • Maximizing Reachability Probabilities in Rectangular Automata with Random Events
    • Decidable Reasoning about Time in Finite-Domain Situation Calculus Theories
    • On the Applicability of Hybrid Systems Safety Verification Tools from the Automotive Perspective
    • Arch-Comp23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
    • Arch-Comp23 Category Report: Stochastic Models
    • Controlling Timed Automata against Mtl Specifications with Tacos
    • Lightweight Verification of Hyperproperties
    • Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
    • Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata Via Flowpipe Construction
    • Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
    • Realyst: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems
    • The Arch-Comp Friendly Verification Competition for Continuous and Hybrid Systems
    • Arch-Comp22 Stochastic Models
    • Controlling Golog Programs against Mtl Constraints
    • Recent Developments in Theory and Tool Support for Hybrid Systems Verification with Hypro
    • Robot Swarms As Hybrid Systems: Modelling and Verification
    • Controller Verification Meets Controller Code: A Case Study
    • Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata Via Flowpipe-Construction
    • Tacos: A Tool for Mtl Controller Synthesis
    • Arch-Comp20 Category Report
    • State Set Representations and Their Usage in the Reachability Analysis of Hybrid Systems
    • Arch-Comp19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
    • 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
    • Analyzing Hybrid Petri Nets with Multiple Stochastic Firings Using Hypro
    • Techniques and Tools 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
    • Interval Constraint Propagation in Smt Compliant Decision Procedures
    • Perfect Difference Sets for Neighbor Discovery
  • Experience
  • Projects
    • HyPro

Controlling Timed Automata against Mtl Specifications with Tacos

Jan 1, 2023·
Till Hofmann
Stefan Schupp
Stefan Schupp
· 0 min read
DOI
Type
Journal
Last updated on Jan 1, 2023
Stefan Schupp
Authors
Stefan Schupp
Formal Verification Engineer
← Arch-Comp23 Category Report: Stochastic Models Jan 1, 2023
Lightweight Verification of Hyperproperties Jan 1, 2023 →

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

Made with Hugo Blox. Duplicate this template →