Hierarchical Network Formation Games
Abstract elided by the publisher.
Related papers
- HierCut: Enabling 16-bit Format Mixed Precision for Molecular Dynamics through Hierarchical Cutoff PPoPP 2026
- Specifying and verifying sparse matrix codes ICFP 2010
- A Dynamic Logic of Multiprocessing with Incomplete Information POPL 1980
- DNNV: A Framework for Deep Neural Network Verification CAV 2021
- A hierarchical approach to reducing communication in parallel graph algorithms PPoPP 2015
- Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems CAV 2025
- How to Win First-Order Safety Games VMCAI 2020
- MatRox: modular approach for improving data locality in hierarchical (Mat)rix App(Rox)imation PPoPP 2020