Control Performance Analysis of Automotive Cyber-Physical Systems: A Study on Efficient Formal Verification
Article in ACM Transactions on Cyber-Physical Systems (April 2024)
The most recent citing publications are shown below. View all 479 publications that cite this research output on Dimensions.
Article in ACM Transactions on Cyber-Physical Systems (April 2024)
Article in Electronics (April 2024)
Article in Mathematics (March 2024)