R. van der Meyden

Identifiers

• name variant R. van der Meyden 0.60 · backfill

Papers (2)

1. Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics cs.LO · 2013 · author #2
2. Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast cs.LO · 1999 · author #2

Mentions

• 1310.6423 #2 · backfill · confidence 0.70 R. van der Meyden

Frequent Coauthors

• A. R. Lomuscio 1 shared papers
• M. D. Ryan 1 shared papers
• X. Huang 1 shared papers