2 papers
cs.FL2024
State estimation of timed automata under partial observation [Draft version]
Chao Gao, Dimitri Lefebvre, Carla Seatzu +2
In this paper, we consider partially observable timed automata endowed with a single clock. A time interval is associated with each transition specifying at which clock values it m…
quant-ph2024
Spontaneous polarized phase transitions and symmetry breaking of an ultracold atomic ensemble in a Raman-assisted cavity
Jinling Lian, Ran Huang, Chao Gao +3
We investigate the ground-state properties and quantum phase transitions of an ensemble consisting of four-level atoms within an optical cavity coupled to the single cavity mod…