The following pages link to (Q5714448):
Displaying 11 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Quantifier-free encoding of invariants for hybrid systems (Q479826) (← links)
- Quasi-decidability of a fragment of the first-order theory of real numbers (Q2013319) (← links)
- Safety verification of non-linear hybrid systems is quasi-decidable (Q2248097) (← links)
- Approximate equivalence of the hybrid automata with Taylor theory (Q2336779) (← links)
- Taylor approximation for hybrid systems (Q2461793) (← links)
- Monotonic hybrid systems (Q2486564) (← links)
- Continuity and computability of reachable sets (Q2566008) (← links)
- What's decidable about recursive hybrid automata? (Q2988912) (← links)
- Property Driven Three-Valued Model Checking on Hybrid Automata (Q3638286) (← links)
- Approximated Reachability on Hybrid Automata: Falsification meets Certification (Q4982085) (← links)
