Pages that link to "Item:Q5897961"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5897961):
Displaying 12 items.
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- Reachability Problems for Hybrid Automata (Q3172861) (← links)
- STORMED Hybrid Systems (Q3519497) (← links)
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets (Q3543289) (← links)
- (Q4953395) (← links)
- (Q5021008) (← links)
- (Q5079750) (← links)
- Hybrid Systems: Computation and Control (Q5307470) (← links)
- Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! (Q5434499) (← links)
- A note on the undecidability of the reachability problem for o-minimal dynamical systems (Q5469108) (← links)