Abstract: Temporal logics like Computation Tree Logic (CTL) have been widely used as expressive formalisms to capture rich behavioural specifications. CTL can express properties such as reachability, ...
Abstract: Collaborative decision-making for connected and autonomous vehicles plays a critical role in improving traffic efficiency and safety. However, some challenges emerge, such as the stochastic ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results