49 citations · 103 across the 9 of their papers we have counts for
3 papers · 1 filter
Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems
Taolue Chen, Tingting Han, Yongzhi Cao
Behaviour distances to measure the resemblance of two states in a (nondeterministic) fuzzy transition system have been proposed recently in the literature. Such a distance, defined…
Modal Specifications for Probabilistic Timed Systems
Tingting Han, Christian Krause, Marta Kwiatkowska +1
Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reas…
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Taolue Chen, Tingting Han, Joost-Pieter Katoen +1
We study the verification of a finite continuous-time Markov chain (CTMC) C against a linear real-time specification given as a deterministic timed automaton (DTA) A with finite or…