93 citations · 141 across the 18 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.CR2014
Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy
David Fernández-Duque, Valentin Goranko
We consider the generic problem of Secure Aggregation of Distributed Information (SADI), where several agents acting as a team have information distributed among them, modeled by m…
cs.LO2014★ 6 cited
Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+
Serenella Cerrito, Amélie David, Valentin Goranko
We develop a sound, complete and practically implementable tableaux-based decision method for constructive satisfiability testing and model synthesis in the fragment ATL+ of the fu…