Skip to content
cs-conference-ranking.org

Symbolic Model Checking Epistemic Strategy Logic.

Xiaowei Huang, Ron van der Meyden

VenueA*AAAI
Year2014
ProceedingsAAAI
DBLP recordconf/aaai/HuangM14 ↗

Browse the full AAAI paper archive.