← Back to papers
2016 IJCAI IJCAI 2016

Verifying Pushdown Multi-Agent Systems against Strategy Logics

Authors

Taolue Chen , Fu Song , Zhilin Wu
Download PDF

Related papers

Unsupervised Feature Learning from Time Series 2016
Neural Generative Question Answering 2016
∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction 2016
Unsupervised Learning on Neural Network Outputs: With Application in Zero-Shot Learning 2016
Belief Update for Proper Epistemic Knowledge Bases 2016