Pages that link to "Item:Q5434509"
From MaRDI portal
The following pages link to Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking (Q5434509):
Displayed 5 items.
- Specifications for decidable hybrid games (Q650914) (← links)
- Approximate equivalence of the hybrid automata with Taylor theory (Q2336779) (← links)
- Automata-based analysis of stage suspended boom systems (Q2375655) (← links)
- Property Driven Three-Valued Model Checking on Hybrid Automata (Q3638286) (← links)
- Approximated Reachability on Hybrid Automata: Falsification meets Certification (Q4982085) (← links)