Similar Items: Smart Contract–Enabled P2P Energy Trading: A Formally Verified Game-Theoretic Framework
- A formal specification framework for smart grid components
- Data replication and update propagation in XML P2P data management systems
- Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
- An Overview of Smart Local Energy Systems
- An Optimised Computational Framework for Cross-Cohort Metagenomic Classification Using P-Value Statistical Filtering
- Paper 2: Zero-Disclosure Material Passports for Verifiable Provenance in Multi-Tier Supply Networks