5 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.AI2023★ 2 cited
Extend Wave Function Collapse to Large-Scale Content Generation
Yuhe Nie, Shaoming Zheng, Zhan Zhuang +1
Wave Function Collapse (WFC) is a widely used tile-based algorithm in procedural content generation, including textures, objects, and scenes. However, the current WFC algorithm and…
cs.DC2022★ 5 cited
Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction
Xiaosong Gu, Wei Cao, Yicong Zhu +3
Consensus protocols are widely used in building reliable distributed software systems and its correctness is of vital importance. TLA+ is a lightweight formal specification languag…