Andrea Turrini

State Key Laboratory of Computer Science , Institute of Software , Chinese Academy of Sciences; Institute of Intelligent Software , Guangzhou

2 papers in the IJCAI proceedings

IJCAI 2021

Synthesizing Good-Enough Strategies for LTLf Specifications

with Yong Li, Moshe Y. Vardi, Lijun Zhang

doi:10.24963/ijcai.2021/570

Details PDF

IJCAI 2018

Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems

with Chen Fu, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang

doi:10.24963/ijcai.2018/661

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings