Pages that link to "Item:Q681465"
From MaRDI portal
The following pages link to ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465):
Displaying 8 items.
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- A formally verified, optimized monitor for metric first-order dynamic logic (Q2096466) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems (Q2165213) (← links)
- Constructive Game Logic (Q5041088) (← links)
- On proving that an unsafe controller is not proven safe (Q6151623) (← links)
