Turrini, Andrea

3 publications

IJCAI 2021 Synthesizing Good-Enough Strategies for LTLf Specifications Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang

IJCAI 2018 Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang

AAAI 2015 Preference Planning for Markov Decision Processes Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang