Michel Reniers
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Formal Lang.×1Crypto×1
Frequent co-authors
Research Timeline
2026
Evolution-Based Timed Opacity under a Universal Observation Model
The paper establishes a unified framework for timed opacity by introducing a universal observation model and defining evolution-based timed opacity, proving its relationship to existing opacity definitions.
Highlighted terms show continued research focus across papers