Showing 1 - 3 results of 3 for search 'Ron van der Meyden', query time: 0.02s Refine Results
  1. 1
    Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)

    Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract) by Ron van der Meyden

    Published 2017-07-01
    Get full text
    Article
  2. 2
    The complexity of approximations for epistemic synthesis (extended abstract)

    The complexity of approximations for epistemic synthesis (extended abstract) by Xiaowei Huang, Ron van der Meyden

    Published 2016-02-01
    Get full text
    Article
  3. 3
    An Epistemic Foundation for Authentication Logics (Extended Abstract)

    An Epistemic Foundation for Authentication Logics (Extended Abstract) by Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella

    Published 2017-07-01
    Get full text
    Article

Search Tools: