output
20062011
most citedModel-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

77 citations

researchers with a paper here
collaborating institutions
Showing 2011 · cs.CCShow all

Nothing from here under that filter.

Their other years and fields are still on the left.

Show all their papers