Pages that link to "Item:Q2081792"

The following pages link to Compositional construction of control barrier functions for continuous-time stochastic hybrid systems (Q2081792):

Displaying 1 item.

• Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)