Semantic Consistency and Correctness Verification of Digital Traffic Rules
Article in Engineering (February 2024)
The most recent citing publications are shown below. View all 17 publications that cite this research output on Dimensions.
Article in Engineering (February 2024)
Article in IEEE Transactions on Emerging Topics in Computational Intelligence (December 2023)
Article in Blockchains (August 2023)