Pages that link to "Item:Q650912"

The following pages link to Vladimeros Vladimerou (Q650912):

Displaying 6 items.

• Specifications for decidable hybrid games (Q650914) (← links)
• A decidable class of planar linear hybrid systems (Q2257303) (← links)
• STORMED Hybrid Systems (Q3519497) (← links)
• A Decidable Class of Planar Linear Hybrid Systems (Q3523124) (← links)
• STORMED Hybrid Games (Q3624600) (← links)
• Verification of Bounded Discrete Horizon Hybrid Automata (Q5352841) (← links)