Haiyu Pan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Simulations for quantitative alternating transition systems	2019-02-22	Paper
The approximate correctness of systems based on \(\delta\)-bisimulation	2018-04-23	Paper
Model checking for nondeterministic multi-valued Kripke structures	2017-10-20	Paper
scientific article; zbMATH DE number 6795378 (Why is no real title available?)	2017-10-20	Paper
Model checking fuzzy computation tree logic Fuzzy Sets and Systems	2017-05-18	Paper
Nondeterministic fuzzy automata with membership values in complete residuated lattices International Journal of Approximate Reasoning	2017-02-22	Paper
Model checking computation tree logic over finite lattices Theoretical Computer Science	2015-12-15	Paper
Simulation for lattice-valued doubly labeled transition systems International Journal of Approximate Reasoning	2015-07-10	Paper
Quantitative analysis of lattice-valued Kripke structures Fundamenta Informaticae	2015-06-26	Paper
Lattice-valued simulations for quantitative transition systems International Journal of Approximate Reasoning	2014-11-24	Paper
Doubly labeled transition systems based on complete residuated lattices	2013-06-20	Paper
scientific article; zbMATH DE number 6174615 (Why is no real title available?)	2013-06-12	Paper
scientific article; zbMATH DE number 6002376 (Why is no real title available?)	2012-01-27	Paper

Research outcomes over time

This page was built for person: Haiyu Pan