Pages that link to "Item:Q5434499"
From MaRDI portal
The following pages link to Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! (Q5434499):
Displayed 6 items.
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- STORMED Hybrid Systems (Q3519497) (← links)
- Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets (Q3543289) (← links)
- STORMED Hybrid Games (Q3624600) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)