Pages that link to "Item:Q3543289"

The following pages link to Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets (Q3543289):

Displaying 2 items.

• A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
• Interrupt timed automata: verification and expressiveness (Q453513) (← links)