59 citations · 138 across the 23 of their papers we have counts for
3 papers · 1 filter
Reasoning about Strategies: on the Satisfiability Problem
Fabio Mogavero, Aniello Murano, Giuseppe Perelli +1
Strategy Logic (SL, for short) has been introduced by Mogavero, Murano, and Vardi as a useful formalism for reasoning explicitly about strategies, as first-order objects, in multi-…
Cycle Detection in Computation Tree Logic
Gaëlle Fontaine, Fabio Mogavero, Aniello Murano +2
Temporal logic is a very powerful formalism deeply investigated and used in formal system design and verification. Its application usually reduces to solving specific decision prob…
A Delayed Promotion Policy for Parity Games
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Parity games are two-player infinite-duration games on graphs that play a crucial role in various fields of theoretical computer science. Finding efficient algorithms to solve thes…