pith. sign in

Universit\'e Paris Diderot - Paris 7)

Identifiers

  • name variant Universit\'e Paris Diderot - Paris 7) 0.60 · backfill

Papers (1)

  1. Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions cs.LO · 2010 · author #5

Mentions

  • 1006.1414 #5 · arxiv_oai · confidence 0.70 Universit\'e Paris Diderot - Paris 7)
  • 1006.1414 #5 · backfill · confidence 0.70 Universit\'e Paris Diderot - Paris 7)

Frequent Coauthors