Model Checking for Turn-Based Probability Epistemic Game Structure
暂无分享,去创建一个
Chuan Zhang | Xinyu Zhang | Weifeng Xu | Pin Wang | Guocheng Zheng | Yuxiao Yang | Mengao Li | Xinyu Zhang | Guocheng Zheng | Pin Wang | Chuan Zhang | Mengao Li | Yuxiao Yang | Weifeng Xu
[1] Barteld P. Kooi,et al. Probabilistic Dynamic Epistemic Logic , 2003, J. Log. Lang. Inf..
[2] Thomas A. Henzinger,et al. Alternating-time temporal logic , 2002, JACM.
[3] Taolue Chen,et al. Automatic verification of competitive stochastic systems , 2012, Formal Methods in System Design.
[4] Joseph Y. Halpern,et al. Knowledge, probability, and adversaries , 1993, JACM.
[5] Christel Baier,et al. Approximate Symbolic Model Checking of Continuous-Time Markov Chains , 1999, CONCUR.
[6] Victor Carreño,et al. Abstract Model of the Sats Concept of Operations: Initial Results and Recommendations , 2013 .
[7] Bengt Jonsson,et al. A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.
[8] Mark Ryan,et al. Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .
[9] Thomas A. Henzinger,et al. Symbolic model checking for real-time systems , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
[10] Taolue Chen,et al. Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving , 2013, QEST.
[11] Marta Z. Kwiatkowska,et al. Computing Cumulative Rewards Using Fast Adaptive Uniformization , 2015, ACM Trans. Model. Comput. Simul..
[12] James F. Allen. Planning as Temporal Reasoning , 1991, KR.
[13] J. Filar,et al. Competitive Markov Decision Processes , 1996 .
[14] Ronald Fagin,et al. A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[15] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[16] Chris Thachuk,et al. DNA Walker Circuits: Computational Potential, Design, and Verification , 2013, DNA.
[17] Mario R. F. Benevides,et al. Verification of Epistemic Properties in Probabilistic Multi-Agent Systems , 2009, MATES.
[18] Jim Gray,et al. Notes on Data Base Operating Systems , 1978, Advanced Course: Operating Systems.