12 citations · 21 across the 10 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Liveness of Parameterized Timed Networks
Benjamin Aminof, Sasha Rubin, Francesco Spegni +1
We consider the model checking problem of infinite state systems given in the form of parameterized discrete timed networks with multiple clocks. We show that this problem is decid…
cs.GT2016★ 4 cited
Extended Graded Modalities in Strategy Logic
Benjamin Aminof, Vadim Malvone, Aniello Murano +1
Strategy Logic (SL) is a logical formalism for strategic reasoning in multi-agent systems. Its main feature is that it has variables for strategies that are associated to specific…