Runtime enforcement of timed properties using games
Renard, Matthieu, Rollet, Antoine, Falcone, YlièsVolume:
32
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-020-00515-2
Date:
July, 2020
File:
PDF, 2.18 MB
2020