Pages that link to "Item:Q2979390"
From MaRDI portal
The following pages link to Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems (Q2979390):
Displaying 4 items.
- Sampling polynomial trajectories for LTL verification (Q2055964) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates (Q3297675) (← links)
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)
