Mika Cohen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo: Abstraction in model checking multi-agent systems. AAMAS (2) 2009: 945-952

3 Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA 2009: 69-83

2 Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI 2009: 721-726

Selection of 3 from 4 records - Mika Cohen has 4 coauthors

4		Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo: Abstraction in model checking multi-agent systems. AAMAS (2) 2009: 945-952
3		Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA 2009: 69-83
2		Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI 2009: 721-726