activity
20112025
most citedIncremental Observer Reduction Applied to Opacity Verification and Synthesis

10 citations · 55 across the 37 of their papers we have counts for

collaborators
Showing 2024Show all

4 papers · 1 filter