25 citations · 40 across the 8 of their papers we have counts for
1 paper · 2 filters
Nikola Beneš, Benoît Delahaye, Uli Fahrenberg +2
There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal o…