Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic
Conference proceeding (September 2024)
The most recent citing publications are shown below. View all 80 publications that cite this research output on Dimensions.
Conference proceeding (September 2024)
Article in South African Computer Journal (January 2024)
Monograph (September 2022)