Ron van der Meyden (UNSW Sydney

Identifiers

• name variant Ron van der Meyden (UNSW Sydney 0.60 · backfill

Papers (1)

1. Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract) cs.LO · 2017 · author #1

Mentions

• 1707.08756 #1 · arxiv_oai · confidence 0.70 Ron van der Meyden (UNSW Sydney

Frequent Coauthors

• Australia) 1 shared papers