@inproceedings{dblp-conf-concur-filiotmr0020,
  title = {Weighted Transducers for Robustness Verification},
  author = {Emmanuel Filiot and Nicolas Mazzocchi and Jean-François Raskin and Sriram Sankaranarayanan and Ashutosh Trivedi},
  year = {2020},
  url = {https://dblp.org/rec/conf/concur/FiliotMR0020},
  booktitle = {CONCUR 2020}
}