In non-modular polymatroidal service markets, revenue-optimal DSIC mechanisms cannot also be credible for strategic operators, with tight welfare-loss bounds on the Cost of Non-Credibility across network topologies.
Title resolution pending
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
verdicts
UNVERDICTED 4representative citing papers
A GNN-based DRL model with two actor-critics produces comparable Pareto fronts for multi-objective fog application placement in milliseconds versus hours for genetic algorithms.
The paper recommends metadata elements for IoT/IIoT models to enable automated security assurance processes.
This survey compiles the history, awards, funding, AI integrations, and open challenges of the ESBMC model checker from 2009 to 2026.
citing papers explorer
-
Requirements and Recommendations for IoT/IIoT Models to automate Security Assurance through Threat Modelling, Security Analysis and Penetration Testing
The paper recommends metadata elements for IoT/IIoT models to enable automated security assurance processes.