Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Runtime enforcement of timed properties usinggames | 0 | 0.34 | 2020 |
| Optimal enforcement of (timed) properties with uncontrollable events. | 0 | 0.34 | 2019 |
| GREP: Games for the Runtime Enforcement of Properties. | 0 | 0.34 | 2017 |
| Runtime enforcement using Büchi games | 1 | 0.35 | 2017 |
| Enforcement of (Timed) Properties with Uncontrollable Events | 8 | 0.48 | 2015 |