scientific article; zbMATH DE number 1852175
From MaRDI portal
Recommendations
- Positive loop-closed automata: A decidable class of hybrid systems
- Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata
- PTIME parametric verification of safety properties for reasonable linear hybrid automata
- Theoretical Aspects of Computing - ICTAC 2004
- scientific article; zbMATH DE number 1303060
Cited in
(8)- scientific article; zbMATH DE number 1303063 (Why is no real title available?)
- scientific article; zbMATH DE number 1406216 (Why is no real title available?)
- Symbolic analysis of linear hybrid automata -- 25 years later
- scientific article; zbMATH DE number 1301612 (Why is no real title available?)
- PTIME parametric verification of safety properties for reasonable linear hybrid automata
- Positive loop-closed automata: A decidable class of hybrid systems
- Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure
- Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4787254)