papers
Publications (3)
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…
astro-ph.HE2016
Deep observation of the NGC 1275 region with MAGIC: search of diffuse gamma-ray emission from cosmic rays in the Perseus cluster
MAGIC Collaboration, M. L. Ahnen, S. Ansoldi +154
Clusters of galaxies are expected to be reservoirs of cosmic rays (CRs) that should produce diffuse gamma-ray emission due to their hadronic interactions with the intra-cluster med…
astro-ph.IM2021
From SKA to SKAO: Early Progress in the SKAO Construction
J. Santander-Vela, M. Bartolini, and +2
The Square Kilometre Array telescopes have recently started their construction phase, after years of pre-construction effort. The new SKA Observatory (SKAO) intergovernmental organ…