Zhiming Liu (ORCID: https://orcid.org/0000-0001-9566-3971)
Institutions
Southwest University (CN)
Université Côte d'Azur (FR)
Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis (FR)
Institut de Biologie Valrose (FR)
Infection et inflammation (FR)
East China Normal University (CN)
Nanjing University of Aeronautics and Astronautics (CN)
Publication Details
Journal
SPIRE - Sciences Po Institutional REpository
Published
2025-11-10
Primary Topic
Constraint Satisfaction and Optimization
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article
LTLc/CCSL: a Polychronous Temporal Logic
Yuanrui Zhang, Min Zhang, Frédéric Mallet, Zhiming Liu
Journal
SPIRE - Sciences Po Institutional REpository
Topics
Constraint Satisfaction and Optimization
article
LTLc/CCSL: a Polychronous Temporal Logic
Yuanrui Zhang, Min Zhang, Frédéric Mallet, Zhiming Liu
article en
Abstract
No abstract available for this paper.
Publication Tag
SPIRE - Sciences Po Institutional REpository
Institutions
Southwest University (CN), Université Côte d'Azur (FR), Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis (FR), Institut de Biologie Valrose (FR), Infection et inflammation (FR), East China Normal University (CN), Nanjing University of Aeronautics and Astronautics (CN)