What's Decidable about Hybrid Automata?

• (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems

  2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  2

  citations
• On the applicability of hybrid systems safety verification tools from the automotive perspective

  2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access

  3

  citations
• Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  12

  citations
• Comparing Two Approaches to Include Stochasticity in Hybrid Automata

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  8

  citations
• Recent developments in theory and tool support for hybrid systems verification with HyPro

  2022 Information and Computation article Computer Science Formal Methods in Verification Open access

  6

  citations
• A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  6

  citations

6 results