DOCTEUR DE L'UNIVERSITÉ DE RENNES 1 Mention : Informatique
作者： Bastien Maubert
DOI:
关键词:
摘要:
bastien-maubert.fr 参考文章(98)
Jaakko Hintikka, Knowledge and belief ,(1962)
E. Allen Emerson, Chin-Laung Lei, Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) logic in computer science. pp. 267- 278 ,(1986)
Johan van Benthem, Logical Dynamics of Information and Interaction ,(2014)
Jouko Väänänen, Dependence Logic: A New Approach to Independence Friendly Logic ,(2007)
Malik Ghallab, Dana S. Nau, Paolo Traverso, Automated Planning, Theory And Practice ,(2006)
Rohit Parikh, Ramaswamy Ramanujam, A Knowledge Based Semantics of Messages Journal of Logic, Language and Information. ,vol. 12, pp. 453- 467 ,(2003) , 10.1023/A:1025007018583
Wiebe van der Hoek, Michael Wooldridge, Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and Its Applications Studia Logica. ,vol. 75, pp. 125- 157 ,(2003) , 10.1023/A:1026185103185
Orna Kupferman, Moshe Y. Vardi, Model Checking Revisited computer aided verification. pp. 36- 47 ,(1997) , 10.1007/3-540-63166-6_7
Edmund M. Clarke, E. Allen Emerson, DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC 25 Years of Model Checking. ,vol. 131, pp. 196- 215 ,(2008) , 10.1007/978-3-540-69850-0_12
Joseph Y. Halpern, E. A Emerson, Sometimes and Not Never Revisited: on Branching Versus Linear Time POPL. pp. 127- 140 ,(1984)