Southwest University of Political Science & Law

output

20142025

most citedA biologically inspired model for transshipment problem

1 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

Bo Liu1 · h 5
Cai Gao1 · h 10
Chao Yan1 · h 2
Cuiling Zhang1 · h 14
Dai-Jun Wei1 · h 20
Ewald Enzinger1 · h 14
G. Morrison1 · h 32
Hannah Bleher1 · h 6
J. Bleher1 · h 6
Liyun Dai1 · h 7
Pawel Pujszo1 · h 1
Raphaël Weuts1 · h 1

collaborating institutions

Southwest UniversityCN2 papers
Bukidnon State UniversityPH1 paper
Chinese Academy of SciencesCN1 paper
College of Europe, WarsawPL1 paper
Computer Network Information CenterCN1 paper
Guangdong University of Foreign StudiesCN1 paper
Hubei UniversityCN1 paper
Hubei University for NationalitiesCN1 paper
KU LeuvenBE1 paper
Pázmány Péter Catholic UniversityHU1 paper
University of BonnDE1 paper
University of Chinese Academy of SciencesCN1 paper

Showing 2018Show all

1 paper · 1 filter

eess.SY2018

Parameter Synthesis Problems for Parametric Timed Automata

Liyun Dai, Bo Liu, Zhiming Liu +1

We consider the parameter synthesis problem of parametric timed automata (PTAs). The problem is, given a PTA and a property, to compute the set of valuations of the parameters unde…