133 citations · 155 across the 27 of their papers we have counts for
3 papers · 2 filters
A Survey on Satisfiability Checking for the -Calculus through Tree Automata
Daniel Hausmann, Nir Piterman
Algorithms for model checking and satisfiability of the modal -calculus start by converting formulas to alternating parity tree automata. Thus, model checking is reduced to chec…
Actions over Core-closed Knowledge Bases
Claudia Cauli, Magdalena Ortiz, Nir Piterman
We present new results on the application of semantic- and knowledge-based reasoning techniques to the analysis of cloud deployments. In particular, to the security of Infrastructu…
R-CHECK: A Model Checker for Verifying Reconfigurable MAS
Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfig…