Showing 1 - 4 results of 4 for search 'Taolue Chen', query time: 0.02s Refine Results
  1. 1
    On the Axiomatizability of Impossible Futures

    On the Axiomatizability of Impossible Futures by Taolue Chen, Wan Fokkink, Rob van Glabbeek

    Published 2015-09-01
    Get full text
    Article
  2. 2
    Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

    Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications by Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

    Published 2011-03-01
    Get full text
    Article
  3. 3
    Incremental equilibrium assignment and applications to traffic network model

    Incremental equilibrium assignment and applications to traffic network model by Chao Sun, Haodong Jing, Taolüe Chen, Menghui Li, Peng Zhang

    Published 2023-04-01
    Get full text
    Article
  4. 4
    Rolling Time Domain Charging Allocation of Electric Vehicles Under Time Varying Demand

    Rolling Time Domain Charging Allocation of Electric Vehicles Under Time Varying Demand by Taolue Chen, Chao Sun, Haowei Yin, Peizheng Wu, Jiangdong Tian

    Published 2024-01-01
    Get full text
    Article

Search Tools: