Skip to Main content Skip to Navigation
Journal articles

Runtime enforcement of timed properties using games

Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02920384
Contributor : Antoine Rollet <>
Submitted on : Wednesday, February 17, 2021 - 10:32:58 AM
Last modification on : Wednesday, February 17, 2021 - 10:41:10 AM

File

FAOC_Renard_Rollet_Falcone.pdf
Files produced by the author(s)

Identifiers

Citation

Matthieu Renard, Antoine Rollet, Yliès Falcone. Runtime enforcement of timed properties using games. Formal Aspects of Computing, Springer Verlag, 2020, 32 (2-3), pp.315-360. ⟨10.1007/s00165-020-00515-2⟩. ⟨hal-02920384⟩

Share

Metrics

Record views

121

Files downloads

43