Research Article
Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety
Table 1
The semantics of clock relations.
| | Relation name | Notation | Kind of relation | Semantics of relations |
| | Precedence | | Asynchronous | | | Exclusion | | Asynchronous | | | Subclock | | Synchronous | | | Coincidence | | Synchronous | | | Causality | ≼ | Asynchronous | | | Alternation | | Asynchronous | |
|
|
