10 citations · 22 across the 13 of their papers we have counts for
1 paper · 1 filter
Angelo Ferrando, Vadim Malvone
In logics for the strategic reasoning the main challenge is represented by their verification in contexts of imperfect information and perfect recall. In this work, we show a techn…