Correct and Efficient Policy Monitoring, a Retrospective
Book chapter (October 2023)
The most recent citing publications are shown below. View all 77 publications that cite this research output on Dimensions.
Book chapter (October 2023)
Article in IEEE Transactions on Dependable and Secure Computing (October 2021)
Article in IEEE Control Systems Letters (August 2021)