Showing 1 - 3 results of 3 for search 'Wanwei Liu', query time: 0.01s Refine Results
  1. 1
    A synthesis method for zero-sum mean-payoff asynchronous probabilistic games

    A synthesis method for zero-sum mean-payoff asynchronous probabilistic games by Wei Zhao, Wanwei Liu, Zhiming Liu, Tiexin Wang

    Published 2025-01-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives

    Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives by Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Counterexample-Preserving Reduction for Symbolic Model Checking

    Counterexample-Preserving Reduction for Symbolic Model Checking by Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao

    Published 2014-01-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: