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.
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
-
Credibility Trilemma in Polymatroidal Service Markets
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.
-
Multi-objective application placement in fog computing using graph neural network-based reinforcement learning
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.
-
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.
-
ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
This survey compiles the history, awards, funding, AI integrations, and open challenges of the ESBMC model checker from 2009 to 2026.