Zobrazeno 1 - 10
of 11 850
pro vyhledávání: '"A MALLOZZI"'
In this note we develop a generalisation of the $\lambda$-Core solution for non-cooperative games in normal form. We show that this generalised $\lambda$-Core is non-empty for the class of separable games that admit a socially optimal Nash equilibriu
Externí odkaz:
http://arxiv.org/abs/2408.06086
Publikováno v:
Il Foro Italiano, 2011 Sep 01. 134(9), 2411/2412-2423/2424.
Externí odkaz:
http://www.jstor.org/stable/23207599
Autor:
Cameron, Kim, Plews, Emily
Publikováno v:
In Organizational Dynamics April-June 2012 41(2):99-105
Autor:
Gilles, Robert P., Mallozzi, Lina
We introduce a new network centrality measure founded on the Gately value for cooperative games with transferable utilities. A directed network is interpreted as representing control or authority relations between players--constituting a hierarchical
Externí odkaz:
http://arxiv.org/abs/2308.02274
Autor:
Mallozzi, Piergiuseppe
Zero-knowledge proof (ZKP) frameworks have the potential to revolutionize the handling of sensitive data in various domains. However, deploying ZKP frameworks with real-world data presents several challenges, including scalability, usability, and int
Externí odkaz:
http://arxiv.org/abs/2307.06408
Autor:
Hanks, Patrick, Lenarčič, Simon
Publikováno v:
Dictionary of American Family Names, 2 ed., 2022.
Externí odkaz:
http://www.oxfordreference.com/view/10.1093/acref/9780190245115.001.0001/acref-9780190245115-e-46449
Autor:
Mallozzi, Piergiuseppe, Nuzzo, Pierluigi, Piterman, Nir, Schneider, Gerardo, Pelliccione, Patrizio
Effectively specifying and implementing robotic missions poses a set of challenges to software engineering for robotic systems. These challenges stem from the need to formalize and execute a robot's high-level tasks while considering various applicat
Externí odkaz:
http://arxiv.org/abs/2306.08144
Autor:
Incer, Inigo, Badithela, Apurva, Graebener, Josefine, Mallozzi, Piergiuseppe, Pandey, Ayush, Yu, Sheng-Jung, Benveniste, Albert, Caillaud, Benoit, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalable algorithms for the algebraic operations in this theory. In this pape
Externí odkaz:
http://arxiv.org/abs/2303.17751
Autor:
Mallozzi, Piergiuseppe, Sibai, Hussein, Incer, Inigo, Seshia, Sanjit A., Sangiovanni-Vincentelli, Alberto
We propose a context-sensitive grammar for the systematic exploration of the design space of the topology of 3D robots, particularly unmanned aerial vehicles. It defines production rules for adding components to an incomplete design topology modeled
Externí odkaz:
http://arxiv.org/abs/2302.13980
We address the problem of modeling, refining, and repairing formal specifications for robotic missions using assume-guarantee contracts. We show how to model mission specifications at various levels of abstraction and implement them using a library o
Externí odkaz:
http://arxiv.org/abs/2211.11908