@misc{indiciae5ef4f76c24f8,
  title = {Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties},
  author = {Hongfei Fu and Yi Li and Jianlin Li and Lijun Zhang},
  year = {2018},
  url = {https://arxiv.org/abs/1712.00275},
  note = {Source identifier: 1712.00275}
}